Hochschulschrift
Mathematische Modellierung und Verifikation von SDL-Systemen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
117 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Karlsruhe, Univ., Diss., 1996
- Schlagwort
-
Mehragentensystem
SDL
Verifikation
- Urheber
-
Rinderspacher, Markus
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:59 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Rinderspacher, Markus
Ähnliche Objekte (12)
Modellierung und Verifikation medizinischer Leitlinien
Modellierung verteilter Systeme : Konzeption, formale Spezifikation und Verifikation mit Produktnetzen
Modellierung und Verifikation eines Checkpoint-Restart-Verfahrens
Techniken zur Modellierung und Verifikation von Echtzeitsystemen
Modellierung und Verifikation von verteilten/parallelen Informationssystemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Modellierung und Verifikation medizinischer Leitlinien
Modellierung verteilter Systeme : Konzeption, formale Spezifikation und Verifikation mit Produktnetzen
Modellierung und Verifikation eines Checkpoint-Restart-Verfahrens
Techniken zur Modellierung und Verifikation von Echtzeitsystemen
Modellierung und Verifikation von verteilten/parallelen Informationssystemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Modellierung und Verifikation medizinischer Leitlinien
Modellierung verteilter Systeme : Konzeption, formale Spezifikation und Verifikation mit Produktnetzen
Modellierung und Verifikation eines Checkpoint-Restart-Verfahrens
Techniken zur Modellierung und Verifikation von Echtzeitsystemen
Modellierung und Verifikation von verteilten/parallelen Informationssystemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen