Hochschulschrift
Ingenieurgerechte formale Methoden für die Entwicklung von sicheren Automatisierungssystemen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832208370
3832208372
- Maße
-
21 cm
- Umfang
-
XI, 141 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Stuttgart, Univ., Diss., 2002
- Erschienen in
-
IAS-Forschungsberichte / Universität Stuttgart ; Bd. 2002,3
- Schlagwort
-
Automatisierungssystem
Sicherheitsanalyse
Vorgehensmodell
Formale Methode
Model Checking
- 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:52 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
- Moik, Adam
- Shaker
Entstanden
- 2002
Ähnliche Objekte (12)
Methoden der formalen Begriffsanalyse bei der Behandlung unvollständigen Wissens
Formale Lastbeschreibung und eine Methode zur Lastmodellierung für innovative Kommunikationssysteme
Entwicklung eines neuen sicheren Verfahrens zur Verbesserung der Betriebssicherheit bei der Speisung von elektrischen Antrieben durch den Matrixumrichter
UniForM workbench : universelle Entwicklungsumgebung für formale Methoden ; Schlußbericht Januar 1999
Formale Verifikation von MOS-Transistorschaltungen
Sicheres Lenkradschloß
"Sicheres Zeichen"
"Sicheres Mittel"
"Sicheres Zeichen"
"Sicheres Zeichen"
"Sicheres Mittel"
"Sicheres Kennzeichen"
Methoden der formalen Begriffsanalyse bei der Behandlung unvollständigen Wissens
Formale Lastbeschreibung und eine Methode zur Lastmodellierung für innovative Kommunikationssysteme
Entwicklung eines neuen sicheren Verfahrens zur Verbesserung der Betriebssicherheit bei der Speisung von elektrischen Antrieben durch den Matrixumrichter
UniForM workbench : universelle Entwicklungsumgebung für formale Methoden ; Schlußbericht Januar 1999
Formale Verifikation von MOS-Transistorschaltungen
Sicheres Lenkradschloß
"Sicheres Zeichen"
"Sicheres Mittel"
"Sicheres Zeichen"
"Sicheres Zeichen"
"Sicheres Mittel"
"Sicheres Kennzeichen"
Methoden der formalen Begriffsanalyse bei der Behandlung unvollständigen Wissens
Formale Lastbeschreibung und eine Methode zur Lastmodellierung für innovative Kommunikationssysteme
Entwicklung eines neuen sicheren Verfahrens zur Verbesserung der Betriebssicherheit bei der Speisung von elektrischen Antrieben durch den Matrixumrichter
UniForM workbench : universelle Entwicklungsumgebung für formale Methoden ; Schlußbericht Januar 1999
Formale Verifikation von MOS-Transistorschaltungen
Sicheres Lenkradschloß
"Sicheres Zeichen"
"Sicheres Mittel"
"Sicheres Zeichen"
"Sicheres Zeichen"
"Sicheres Mittel"