Next:
Eine CC-Implementierung
Up:
Eine CC-Systemfunktion
Previous:
Die Spezifikation von Eigenschaften
Contents
Automatische Verifikation durch Model Checking zeitbasierten verknüpften Automaten
Gerd Doeben-Henisch 2010-12-16