 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Wissensbrowser starten | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||
|  | | | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Literatur |
|
Model Checking |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Beschreibung | |||||||||
| |||||||||
| Neben einer Einführung in formale Methoden wird insbesondere auf verschiedene Model Checking Methoden eingegangen.
[E.M. Clarke, O. Grumberg, D.A. Peled, Model Checking, MIT Press, 1999.] ISBN: 0262032708 | |||||||||
| |||||||||
| Autoren | |||||||||
| |||||||||
| Edmund M. Clarke, Jr. Orna Grumberg Doron A. Peled | |||||||||
| |||||||||
| Publikationstyp | |||||||||
| |||||||||
| Buch | |||||||||
| |||||||||
| Verlag | |||||||||
| |||||||||
| MIT Press | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren
| ||||||||||||||
|
