| zurück zu den Publikationen |
| Ihre Anfrage lieferte 7 Ergebnisse. |
| Starostin, Artem |
 |
|
BibTeX |
| Formal Verification of a C-Library for Strings. |
|
| Diplomarbeit, Saarland University, 2006. |
| |
| Shadrin, Andrey |
|
|
BibTeX |
| Design and Implementation of the Portmapper and RPC Primitives in the Context of the SOS. |
|
| Diplomarbeit, Saarland University, 2006. |
| |
| 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. |
| |
