Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988

This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Imp...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής

Συγγραφή απο Οργανισμό/Αρχή:	Symposium on formal techniques in real-time and fault-tolerant systems :Warwick, GB
Άλλοι συγγραφείς:	Joseph, Mathai, 1943- (Διευθυντής έκδοσης)
Μορφή:	Livre numérique
Γλώσσα:	Anglais
Έκδοση:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Σειρά:	Lecture notes in computer science 331
Θέματα:	Informatique Temps réel (informatique) Tolérance aux fautes (informatique) Actes de congrès
Διαθέσιμο Online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Σημείωση:	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, proceedings of a symposium, Warwick, UK, September 22-23, 1988, M. Joseph (ed.), Berlin, Springer-Verlag, 1988, 1 vol. (VI-229 p.), Lecture notes in computer science, 3-540-50302-1 • Formal Techniques in Real-Time and Fault-Tolerant Systems, Texte imprimé, 9783662202272