Next:
Automatische Verifikation durch Model
Up:
Eine CC-Systemfunktion
Previous:
Das Verhalten zeitbasierter verknüpfter
Contents
Die Spezifikation von Eigenschaften im Verhalten zeitbasierter verknüpfter Automaten
Gerd Doeben-Henisch 2010-12-16