Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings

This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in re...

Description complète

Détails bibliographiques

Collectivité auteur:	International Symposium on Formal techniques in real-time and fault-tolerant systems :Nijmegen
Autres auteurs:	Vytopil, Jan (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 571
Sujets:	Informatique Temps réel (informatique) Logique symbolique et mathématique Probabilités Tolérance aux fautes (informatique) Microprogrammation Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Formal techniques in real-time and fault-tolerant systems, second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings, J. Vytopil, ed, Berlin, Springer-Verlag, 1991, 1 vol. (IX-620 p.), Lecture notes in computer science, 3-540-55092-5 • Formal Techniques in Real-Time and Fault-Tolerant Systems, Texte imprimé, 9783662203040