Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings

This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lübeck, Germany in September 1994. The book contains full versions of 5 invited talks and 33...

Descrición completa

Detalles Bibliográficos

Collectivités auteurs:	International Symposium on Formal techniques in real-time and fault-tolerant systems :Lübeck, Working Group Provably Correct Systems (Auteur)
Outros autores:	Langmaack, Hans, 1943- (Directeur de la publication), Roever, Willem-Paul de, 1943- (Directeur de la publication), Vytopil, Jan (Directeur de la publication)
Formato:	Livre numérique
Idioma:	Anglais
Publicado:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Series:	Lecture notes in computer science 863
Sujets:	Informatique Temps réel (informatique) Langages de programmation Tolérance aux fautes (informatique) Microprocesseurs Ordinateurs > Mémoires Microprogrammation Actes de congrès
Acceso en liña:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	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 the] third international symposium organized jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, 1994, H. Langmaack, W.-P. de Roever, J. Vytopil, eds, Berlin, Springer-Verlag, 1994, 1 vol. (XIV-787 p.), Lecture notes in computer science, 0-387-58468-4 • Formal Techniques in Real-Time and Fault-Tolerant Systems, Texte imprimé, 9783662192894