Formal Verification of Embedded Real−Time Systems
Matthias Fruth
Details
| Address |
Germany |
| Note |
Diplomarbeit |
| School |
TU Dresden |
| Year |
2005 |
Links
Related pages
|
People |