3826519647
Aachen: Shaker
193 S graph. Darst.
Zugl.: Oldenburg, Univ., Diss., 1995
Dialogsystem; Kontinuierliches System; Verifikation; Model Checking; Modallogik; Spezifikationssprache; Softwarespezifikation Verwandter Begriff; Beschreibungssprache Verwandter Begriff; Entwurfssprache Verwandter Begriff; Mathematische Logik Oberbegriff allgemein; Bewachte Logik Verwandter Begriff; Kripke-Struktur Verwandter Begriff; Verifikation Oberbegriff allgemein; Logik Oberbegriff generisch; Erkenntnis Oberbegriff generisch; Wahrheit Verwandter Begriff; System Oberbegriff allgemein; Echtzeitsystem Oberbegriff allgemein; Mensch-Maschine-Kommunikation Verwandter Begriff; Hochschulschrift
Berichte aus der Informatik
Berichte aus der Informatik
inf 905
Deutsch
