Keine direkten Treffer
'Model Checking' und Synonyme zu OpenThesaurus hinzufügen |
Teilwort-Treffer und ähnlich geschriebene Wörter
Kein Teilwort-Treffer
Keine ähnlichen Treffer
Nicht das Richtige dabei?
'Model Checking' und Synonyme zu OpenThesaurus hinzufügen |
Wiktionary
Keine direkten TrefferWikipedia-Links
Verifikation · Theorembeweisen · Computerprogramm · Endlicher Automat · Transitionssystem · Temporale Logik · Deadlock · Modaler Mu-Kalkül · Computation Tree Logic · Lineare temporale Logik · Computation Tree Logic · Modaler Mu-Kalkül · Fixpunkt (Mathematik) · CTL* · Computation Tree Logic
Quelle: Wikipedia-Seite zu 'Model Checking' [Autoren]
Lizenz: Creative Commons Attribution-ShareAlike
Lizenz: Creative Commons Attribution-ShareAlike