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

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 : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings

שמור ב:

מידע ביבליוגרפי
מחבר תאגידי:	Conference on Formal Techniques in Real-Time and Fault Tolerant Systems :Pune, Inde
מחברים אחרים:	Joseph, Mathai, 1943- (Directeur de la publication)
פורמט:	Livre numérique
שפה:	Anglais
יצא לאור:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
סדרה:	Lecture notes in computer science 1926
נושאים:	Informatique Temps réel (informatique) Langages de programmation Tolérance aux fautes (informatique) Microprocesseurs Structure logique Actes de congrès
גישה מקוונת:	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, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Mathai Joseph (ed.), 2000, New York, Springer, 1 vol. (X-303 p.), Lecture notes in computer science, 3-540-41055-4 • Formal Techniques in Real-Time and Fault-Tolerant Systems, Texte imprimé, 9783662172131

פריטים דומים

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 : 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 : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings

Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : 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
מאת: Lakhnech, Yassine, 19..-

Reliability evaluation of some fault-tolerant computer architectures
מאת: Osaki, Shunji, 1942-2021, et autres

Fault-tolerant distributed computing
מאת: Simons, Barbara

Fault Tolerant Flight Control : A Benchmark Challenge
מאת: Edwards, Christopher, 1966-

Hardware and software architectures for fault tolerance : experiments and perspectives
מאת: Banâtre, Michel

Hybrid and real-time systems : international workshop, HART '97, Grenoble, France, March 26-28, 1997 : proceedings

Digest of papers : FTCS-8 : the eighth annual International Conference on Fault-Tolerant Computing, Toulouse, France, June 21-23, 1978
יצא לאור: (1978)

Reconfigurable Control of Nonlinear Dynamical Systems : A Fault-Hiding Approach
מאת: Richter, Jan H., Dr.-Ing
יצא לאור: (2011)

Informatique industrielle : microprocesseurs et interfaces temps-réel
מאת: Hersch, Roger D.
יצא לאור: (1997)

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
מאת: Bernardo, Marco

Control Reconfiguration of Dynamical Systems : Linear Approaches and Structural Tests
מאת: Steffen, Thomas
יצא לאור: (2005)

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

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

Architecting dependable systems II
מאת: Lemos, Rogerio de, 1961-

Architecting dependable systems
מאת: Lemos, Rogerio de, 1961-

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

Embedded processor design challenges : systems, architectures, modeling, and simulation - SAMOS
מאת: Deprettere, Ed F., 1944-

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

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

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

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

The complexity of simple computer architectures
מאת: Müller, Silvia M., 19..-, et autres

Dependable computing : EDCC-4 : 4th European Dependable Computing Conference Toulouse, France, October 23 25, 2002 : proceedings

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

Graph reduction : proceedings of a workshop, Santa Fé, New Mexico, USA, September 29 October 1, 1986

Specification and compositional verification of real-time systems
מאת: Hooman, Jozef, 19..-

The data parallel programming model : foundations, HPF realization, and scientific applications
מאת: Perrin, Guy-René

Real-time imaging.
יצא לאור: (1995)

Circuits logiques de traitement numérique de l'information
מאת: Chinal, Jean
יצא לאור: (1979)

Parallel architectures and their efficient use : First Heinz Nixdorf Symposium, Paderborn, Germany, November 11-13, 1992 : proceedings

Recent advances in parallel virtual machine and message passing interface : 7th European PVM/MPI Users Group Meeting, Balatonfüred, Hungary, September 10 13, 2000 : proceedings

Fault-Tolerant Process Control : Methods and Applications
מאת: Mhaskar, Prashant, et autres
יצא לאור: (2013)

Fault Tolerant Control Design for Hybrid Systems
מאת: Yang, Hao, 1982-, et autres
יצא לאור: (2010)

Real-time systems' quality of service : Introducing quality of service considerations in the life-cycle of real-time systems
מאת: Gumzej, Roman, et autres

© 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