| 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. |
| |
