Warning: Undefined variable $filter in /www/www-wjp/publikationen/publikationen.php on line 79
Warning: Undefined variable $optionblock in /www/www-wjp/publikationen/publikationen.php on line 83
Warning: Undefined variable $filter in /www/www-wjp/publikationen/publikationen.php on line 79
Warning: Undefined variable $filter in /www/www-wjp/publikationen/publikationen.php on line 79
Warning: Undefined variable $filter in /www/www-wjp/publikationen/publikationen.php on line 79
Warning: Undefined variable $filter in /www/www-wjp/publikationen/publikationen.php on line 79
Warning: Undefined variable $filter in /www/www-wjp/publikationen/publikationen.php on line 79
Warning: Undefined variable $filter in /www/www-wjp/publikationen/publikationen.php on line 79
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $optklassifikationen in /www/www-wjp/publikationen/publikationen.php on line 97
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $order in /www/www-wjp/publikationen/publikationen.php on line 107
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. | |||
| Alkassar, Eyad |  |
BibTeX | |
| Constructing a Formal Framework for Modeling and Verifying a Real Operating System. | |||
| Masterarbeit, Universität des Saarlandes, 2005. | |||
| Gargano, Mauro | |
BibTeX | |
| Documentation, Modeling and Verification of parts of an O.S. core. | |||
| Diplomarbeit, Saarland University, 2003. | |||
| Petrova, Elena | |
BibTeX | |
| Documentation of memory management functions in the L4 microkernel. | |||
| Diplomarbeit, Saarland University, 2003. | |||
| Tverdyshev, Sergey | |
BibTeX | |
| Documentation and Modelling of the IPC Mechanism in the L4 Kernel. | |||
| Diplomarbeit, Saarland University, 2003. | |||
| Tsyban, Alexandra | |
BibTeX | |
| *DRAFT* Verification of Buffer Management in the L4 Microkernel *DRAFT*. | |||
| Diplomarbeit, Saarland University, 2003. | |||
| Tsyba, Vasily | |
BibTeX | |
| *DRAFT* Verification of the L4 Task Scheduler *DRAFT*. | |||
| Diplomarbeit, Saarland University, 2003. | |||
| Sorokin, Nikolay | BibTeX | ||
| An FPGA-based 3D Backprojector. | |||
| Doktorarbeit, Saarland University, 2003. | |||
| Bogan, Sebastian | |
BibTeX | |
| Entwicklung eines Compilers für eine Prolog-Erweiterung zur Programmierung paralleler Algorithmen. | |||
| Diplomarbeit, , 2003. | |||
| In der Rieden, Thomas | |
BibTeX | |
| Sprachen zur Unterstützung von Multimedia-Anwendungen. | |||
| Diplomarbeit, Universität des Saarlandes, 2002. | |||
| Leinenbach, Dirk | |
BibTeX | |
| Implementierung eines maschinell verifizierten Prozessors. | |||
| Diplomarbeit, Universität des Saarlandes, 2002. | |||
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
