Meinten Sie:
keywords:("temporal logic")
Synonyme wurden verwendet für:
TEMPORALE LOGIK
Suche ohne Synonyme:
keywords:("TEMPORALE LOGIK")
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Semiformale Methoden für den automatisierten Test eingebetteter Systeme
Symbolic Abstraction of System Requirements