Formal Techniques in Real-Time and Fault-Tolerant Systems

Lieferzeit: Lieferbar innerhalb 14 Tagen

106,99 €

Second International Symposium, Nijmegen, The Netherlands, January 8-10,1992.Proceedings, Lecture Notes in Computer Science 571

ISBN: 3540550925
ISBN 13: 9783540550921
Herausgeber: Jan Vytopil
Verlag: Springer Verlag GmbH
Umfang: xii, 628 S.
Erscheinungsdatum: 11.12.1991
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1431504 Kategorie:

Beschreibung

This book presents latest research results on problems and solutions in safety-critical system design. Logic, process algebra, and action/event models are applied to specification, modeling, analysis and verification of real-time and fault-tolerant systems.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …