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
Formale Spezifikation und Implementierung von Hochleistungsprotokollen
Formal concept analysis and algebraic geometry
Formal specifications with higher order parameterization
Sichere Ausführungsumgebungen für Objekte
Grundzüge Elektrotechnik, 1.. Methoden zur Netzwerksanalyse; Stationäre elektrische Felder
Inhalte und formale Strukturen des genetischen Beratungsgesprächs
Morphismen als formale Begriffe : Darstellung und Erzeugung
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
Formale Spezifikation und Implementierung von Hochleistungsprotokollen
Formal concept analysis and algebraic geometry
Formal specifications with higher order parameterization
Sichere Ausführungsumgebungen für Objekte
Grundzüge Elektrotechnik, 1.. Methoden zur Netzwerksanalyse; Stationäre elektrische Felder
Inhalte und formale Strukturen des genetischen Beratungsgesprächs
Morphismen als formale Begriffe : Darstellung und Erzeugung
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
Formale Spezifikation und Implementierung von Hochleistungsprotokollen
Formal concept analysis and algebraic geometry
Formal specifications with higher order parameterization
Sichere Ausführungsumgebungen für Objekte
Grundzüge Elektrotechnik, 1.. Methoden zur Netzwerksanalyse; Stationäre elektrische Felder
Inhalte und formale Strukturen des genetischen Beratungsgesprächs