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

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 : 5th international symposium, FTRTFT '98, Lyngby, Denmaek, September, 14-18, 1998 : proceedings

This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998. The 22 revised full papers presented were carefully selected and reviewed for inclusion in the b...

Enregistré dans:

書目詳細資料
企業作者:	Conference on Formal Techniques in Real-Time and Fault Tolerant Systems :Lyngby, Danemark
其他作者:	Ravn, Anders P., 1947-2019 (Directeur de la publication), Rischel, Hans, 1938- (Directeur de la publication)
格式:	Livre numérique
語言:	Anglais
出版:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
叢編:	Lecture notes in computer science 1486
主題:	Informatique Temps réel (informatique) Langages de programmation Systèmes d'exploitation (ordinateurs) Tolérance aux fautes (informatique) Microprocesseurs 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, 5th international symposium, FTRTFT '98, Lyngby, Denmaek, September, 14-18, 1998, proceedings, Anders P. Ravn, Hans Rischel (eds.), 1998, Berlin, Springer, 1 vol. (VIII-338 p.), Lecture notes in computer science, 3-540-65003-2 • Formal Techniques in Real-Time and Fault-Tolerant Systems, Texte imprimé, 9783662206171

相似書籍

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

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

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

Fault-tolerant distributed computing
由: Simons, Barbara

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

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

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

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

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

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

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

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

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

Job scheduling strategies for parallel processing : IPPS/SPDP' 98 Workshop Orlando, Florida, USA, March 30, 1998 : proceedings

MicroC/OS-II : the real-time Kernel
由: Labrosse, Jean J.
出版: (2002)

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

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

Job scheduling strategies for parallel processing : IPDPS 2000 workshop, [6th workshop] JSSPP 2000, Cancun, Mexico, May 1, 2000 : proceedings

Job scheduling strategies for parallel processing : IPPS '95 workshop, Santa Barbara, CA, USA, April 1995 : proceedings

Memory management : international workshop, IWMM '95, Kinross, UK, September 27-29, 1995 : proceedings

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)

Parallel processing : CONPAR 92-VAPP V, Second joint international conference on vector and parallel processing, Lyon, France, September 1-4, 1992 : proceedings

Job scheduling strategies for parallel processing : 7th international workshop, JSSPP 2001, Cambridge, MA, USA, June 16, 2001 : revised papers

Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 : proceedings

PARLE '92 : parallel architectures and languages Europe : 4th International PARLE Conference, Paris, France, June 15-18, 1992 : proceedings

The Cray X-MP/Model 24 : a case study in pipelined architecture and vector processing
由: Robbins, Kay A., 1949-, et autres

Application and theory of Petri nets 1994 : 15th International Conference, Zaragoza, Spain, June 20 24, 1994 : proceedings

Application and theory of Petri nets 1993 : 14th International Conference, Chicago, Illinois, USA, June 21 25, 1993 : proceedings
由: Ajmone Marsan, Marco, 1951-...., informaticien

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)

Application on Theory of Petri Nets 1998 : 19th International conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998 : proceedings

PARLE '93 : parallel architectures and languages Europe : 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, proceedings

Job scheduling strategies for parallel processing : 8th international workshop, JSSPP 2002, Edinburgh, Scotland, UK, July 24, 2002 : revised papers

Job scheduling strategies for parallel processing : 9th international workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003 : revised papers

© 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