Formal techniques in real-time and fault-tolerant systems : :: SCD d'Orléans

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

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...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autor corporatiu:	International Symposium on Formal techniques in real-time and fault-tolerant systems :Nijmegen
Altres autors:	Vytopil, Jan (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 571
Matèries:	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 línia:	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, 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

Ítems similars

Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9 12, 2002 : proceedings

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

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

Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings

Formal techniques in real-time and fault-tolerant systems : 5th international symposium, FTRTFT '98, Lyngby, Denmaek, September, 14-18, 1998 : proceedings

Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings

Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings
per: Lakhnech, Yassine, 19..-

Dependable computing - EDCC-1 : First European Dependable Computing Conference, Berlin, Germany, October 4 6, 1994 : proceedings

Reliability evaluation of some fault-tolerant computer architectures
per: Osaki, Shunji, 1942-2021, et al.

Fault-tolerant distributed computing
per: Simons, Barbara

Fault Tolerant Flight Control : A Benchmark Challenge
per: Edwards, Christopher, 1966-

Hardware and software architectures for fault tolerance : experiments and perspectives
per: Banâtre, Michel

P-Functions and boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms
per: Thayse, André, 1940-

The complexity of simple computer architectures
per: Müller, Silvia M., 19..-, et al.

Digest of papers : FTCS-8 : the eighth annual International Conference on Fault-Tolerant Computing, Toulouse, France, June 21-23, 1978
Publicat: (1978)

LUCAS associative array processor : design, programming, and application studies
per: Fernstrom, Christer, 1951-, et al.

STACS 88 : 5th annual symposium on theoretical aspects of computer science, Bordeaux, France, february 11-13, 1988 : roceedings

Exploitation of fine-grain parallelism
per: Böckle, Günter

STACS 89 : 6th Annual symposium on theoretical aspects of computer science, Paderborn, FRG, February 16-18, 1989 : proceedings

Fundamentals of computation theory : International Conference FCT '89 Szeged, Hungary, August 21 25, 1989 : proceedings

Reconfigurable Control of Nonlinear Dynamical Systems : A Fault-Hiding Approach
per: Richter, Jan H., Dr.-Ing
Publicat: (2011)

Hardware specification, verification, and synthesis : mathematical aspects : Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 : proceedings

Control Reconfiguration of Dynamical Systems : Linear Approaches and Structural Tests
per: Steffen, Thomas
Publicat: (2005)

Real-time : theory in practice : REX Workshop, Mook, the Netherlands, June 3-7, 1991 : proceedings

Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands May 30 June 3, 1988

Formal methods for the design of real-time systems : international school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, september 13-18, 2004 : revised lectures
per: Bernardo, Marco

Architecting dependable systems II
per: Lemos, Rogerio de, 1961-

Architecting dependable systems
per: Lemos, Rogerio de, 1961-

Dependable computing : first Latin-American symposium, LADC 2003, Sao Paulo, Brazil, october 21-24, 2003 : proceedings

Active, real-time, and temporal database systems : ; proceedings second international workshop, ARTDB '97, Como, Italy, September 8-9, 1997

Dependable computing - EDCC-2 : second European Dependable Computing Conference, Taormina, Italy, October 2 4, 1996 : proceedings

Specification and compositional verification of real-time systems
per: Hooman, Jozef, 19..-

Dependable computing - EDCC-3 : Third European Dependable Computing Conference, Prague, Czech Republic, September 15 17, 1999 : proceedings

Self-stabilizing systems : 5th international workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 : proceedings

Real-time imaging.
Publicat: (1995)

Fault-Tolerant Process Control : Methods and Applications
per: Mhaskar, Prashant, et al.
Publicat: (2013)

Fault Tolerant Control Design for Hybrid Systems
per: Yang, Hao, 1982-, et al.
Publicat: (2010)

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS 99, Bamberg, Germany, May 26 28, 1999 : proceedings

Real-time and embedded computing systems and applications : 9th international conference, RTCSA 2003, Tainan City, Taiwan, ROC, February 18-20, 2003 : revised papers

Real-time systems' quality of service : Introducing quality of service considerations in the life-cycle of real-time systems
per: Gumzej, Roman, et al.

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales