A case study in the mechanical verification of fault tolerance (Englisch)
Nationallizenz
- Neue Suche nach: Mantel, Heiko
- Neue Suche nach: Gartner, Felix C.
- Neue Suche nach: Mantel, Heiko
- Neue Suche nach: Gartner, Felix C.
In:
Journal of Experimental & Theoretical Artificial Intelligence
;
12
, 4
;
473-487
;
2000
-
ISSN:
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:A case study in the mechanical verification of fault tolerance
-
Beteiligte:Mantel, Heiko ( Autor:in ) / Gartner, Felix C. ( Autor:in )
-
Erschienen in:Journal of Experimental & Theoretical Artificial Intelligence ; 12, 4 ; 473-487
-
Verlag:
- Neue Suche nach: Taylor & Francis
-
Erscheinungsdatum:01.10.2000
-
Format / Umfang:15 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis – Band 12, Ausgabe 4
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 377
-
A counter-example to all future dynamic systems theories of cognitionDietrich, Eric et al. | 2000
- 383
-
Formal software development in the Verification Support Environment (VSE)Hutter, Dieter / Langenstein, Bruno / Rock, Georg / Siekmann, Jorg H. / Stephan, Werner / Vogt, Roland et al. | 2000
- 407
-
Validation and verification of intelligent systems - what are they and how are they different?Gonzalez, Avelino J. / Barr, Valerie et al. | 2000
- 421
-
Towards validation and refinement of rule-based systemsKnauf, Rainer / Philippow, Ilka / Gonzalez, Avelino J. et al. | 2000
- 433
-
Applying formal concepts to learning systems validationDotsch, Volker / Grieser, Gunter / Lange, Steffen et al. | 2000
- 447
-
Abstraction and composition: a verification method for co-operating systemsOchsenschlAger, Peter / Repp, JUrgen / Rieke, Roland et al. | 2000
- 461
-
Validation method for intelligent systemsOnoyama, Takashi / Tsuruta, Setsuo et al. | 2000
- 473
-
A case study in the mechanical verification of fault toleranceMantel, Heiko / Gartner, Felix C. et al. | 2000
- 489
-
Towards dependable development tools for embedded systems: a case study in software verificationPetermann, Uwe et al. | 2000