Article
Licensed
Unlicensed
Requires Authentication
Zuverlässigkeitsanalyse fehlertoleranter Architekturen mit temporaler Logik
Reliability Analysis of Fault-Tolerant Computer Architectures using Temporal Logic
-
K. D. Heidtmann
Published/Copyright:
January 1, 1993
Published Online: 1993-01
Published in Print: 1993-01
© 2013 Oldenbourg Wissenschaftsverlag GmbH, Rosenheimer Str. 145, 81671 München
You are currently not able to access this content.
You are currently not able to access this content.
Articles in the same Issue
- Inhalt
- Impressum
- In eigener Sache
- Ein Partner stellt sich vor
- Zuverlässigkeitsanalyse fehlertoleranter Architekturen mit temporaler Logik
- Rationelle Software-Entwicklung nach dem Invarianz-Prinzip
- Logische Grundlagen eines Triggerentwurfssystems
- Datenbankunterstützung für kooperative Gruppenarbeit
- Dezentrale Datenhaltung in der Allfinanzkundenberatung
- Einsatz von CASE-Tools bei der Erstellung von CIM-Systemen 55 Use of CASE Tolls in the Development of CIM Systems
- Nachrichten / News
Articles in the same Issue
- Inhalt
- Impressum
- In eigener Sache
- Ein Partner stellt sich vor
- Zuverlässigkeitsanalyse fehlertoleranter Architekturen mit temporaler Logik
- Rationelle Software-Entwicklung nach dem Invarianz-Prinzip
- Logische Grundlagen eines Triggerentwurfssystems
- Datenbankunterstützung für kooperative Gruppenarbeit
- Dezentrale Datenhaltung in der Allfinanzkundenberatung
- Einsatz von CASE-Tools bei der Erstellung von CIM-Systemen 55 Use of CASE Tolls in the Development of CIM Systems
- Nachrichten / News
