Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $optionblock in /www/www-wjp/publikationen/index.php on line 37
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $optklassifikationen in /www/www-wjp/publikationen/index.php on line 51
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $direction in /www/www-wjp/publikationen/index.php on line 55
Warning: Undefined variable $order in /www/www-wjp/publikationen/index.php on line 61
Warning: Undefined variable $order in /www/www-wjp/includes/publikationsliste.php on line 55
Warning: Undefined variable $filter in /www/www-wjp/includes/publikationsliste.php on line 62
Warning: Undefined variable $klassifikation in /www/www-wjp/includes/publikationsliste.php on line 64
| zurück zu den Publikationen | |||
| Ihre Anfrage lieferte 54 Ergebnisse. | |||
| Daum, Matthias |  |
EE | BibTeX |
| On the Formal Foundation of a Verification Approach for System-Level Concurrent Programs. | |||
| Dissertation, Saarland University, Saarbrücken, 2010. | |||
| Note: You can find the corresponding theory files in release vlibvamos-trunk-r31570.tar.gz (5.2M) of the Verisoft Repository. | |||
| Tverdyshev, Sergey | |
BibTeX | |
| Formal Verification of Gate-Level Computer Systems. | |||
| Dissertation, Saarland University, Computer Science Department, 2009. | |||
| Alkassar, Eyad | BibTeX | ||
| OS Veri cation Extended - On the Formal Veri cation of Device Drivers and the Correctness of Client/Server Software. | |||
| Dissertation, University of Saarland, 2009. | |||
| In der Rieden, Thomas | |
BibTeX | |
| Verifi ed Linking for Modular Kernel Veri fication. | |||
| Dissertation, Saarland University, Saarbrücken, 2009. | |||
| Tsyban, Alexandra | |
BibTeX | |
| Formal Verification of a Framework for Microkernel Programmers. | |||
| Dissertation, Saarland University, Saarbrücken, 2009. | |||
| Alekhin, Artem | |
BibTeX | |
| The VAMP Memory Unit: Hardware Design and Formal Verification Effort. | |||
| Masterarbeit, Saarland University, 2009. | |||
| Kovalev, Mikhail | |
BibTeX | |
| Integrating a Verified Compiler and a Verified Garbage Collector. | |||
| Masterarbeit, Saarland University, 2009. | |||
| Leinenbach, Dirk | |
BibTeX | |
| Compiler Verification in the Context of Pervasive System Verification. | |||
| Dissertation, Saarland University, Saarbrücken, 2008. | |||
| Bogan, Sebastian | |
BibTeX | |
| Formal Specification of a Simple Operating System. | |||
| Dissertation, Saarland University, Saarbrücken, 2008. | |||
| Knapp, Steffen | |
BibTeX | |
| The Correctness of a Distributed Real-Time System. | |||
| Doktorarbeit, Universität des Saarlandes, 2008. | |||
Warning: Undefined variable $_Server in /www/www-wjp/includes/publikationsliste.php on line 111
Warning: Trying to access array offset on null in /www/www-wjp/includes/publikationsliste.php on line 111
Warning: Undefined variable $filter in /www/www-wjp/includes/publikationsliste.php on line 112
Warning: Undefined variable $klassifikation in /www/www-wjp/includes/publikationsliste.php on line 112
Warning: Undefined variable $_Server in /www/www-wjp/includes/publikationsliste.php on line 119
Warning: Trying to access array offset on null in /www/www-wjp/includes/publikationsliste.php on line 119
Warning: Undefined variable $filter in /www/www-wjp/includes/publikationsliste.php on line 120
Warning: Undefined variable $klassifikation in /www/www-wjp/includes/publikationsliste.php on line 120
