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

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

This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996. The 22 revised full papers presented were selected from a total of 61 submissions; also i...

Fuld beskrivelse

Enregistré dans:

Bibliografiske detaljer
Institution som forfatter:	International Symposium on Formal techniques in real-time and fault-tolerant systems :Uppsala, Suède
Andre forfattere:	Jonsson, Bengt, 1957- (Directeur de la publication), Parrow, Joachim, 1956- (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 1135
Fag:	Informatique Temps réel (informatique) Langages de programmation Systèmes d'exploitation (ordinateurs) Tolérance aux fautes (informatique) Calcul formel Microprocesseurs Ordinateurs > Mémoires Actes de congrès
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	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, 4th international symposium, Uppsala, Sweden, September 9-13, 1996, proceedings, Bengt Jonsson, Joachim Parrow, eds, 1996, New York, Springer, 1 vol. (X-478 p.), Lecture notes in computer science, 3-540-61648-9 • Formal Techniques in Real-Time and Fault-Tolerant Systems, Texte imprimé, 9783662180211

Lignende værker

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, 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
af: Lakhnech, Yassine, 19..-

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

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

Fault-tolerant distributed computing
af: Simons, Barbara

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

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

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

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

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

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

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

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

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

EURO-PAR '95 parallel processing : First International EURO-PAR Conference Stockholm, Sweden, August 29 31, 1995 : proceedings

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

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

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

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

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

MicroC/OS-II : the real-time Kernel
af: Labrosse, Jean J.
Udgivet: (2002)

PARLE '91 : parallel architectures and languages Europe proceedings parallel languages, Eindhoven, The Netherlands, June 10 13, 1991 :

PARLE '91 : parallel architectures and languages Europe proceedings parallel architectures and algorithms, Eindhoven, The Netherlands, June 10 13, 1991 :

Job Scheduling Strategies for Parallel Processing : IPPS '96 Workshop Honolulu, Hawaii, April 16, 1996 Proceedings

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

PARLE '89 Parallel architectures and languages Europe. parallel languages : Eindhoven, The Netherlands, June 12 16, 1989 : proceedings

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
af: Ajmone Marsan, Marco, 1951-...., informaticien

Parallel algorithms for irregularly structured problems : third international workshop, IRREGULAR Ì 96, Santa Barbara, CA, USA, August 19-21, 1996 : proceedings

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 : IPPS '97 Workshop, Geneva, Switzerland, April 5, 1997 : proceedings

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

Distributed memory computing : 2nd European Conference, EDMCC2, Munich, FRG, April 22-24, 1991 : proceedings

Advanced database systems : 10th British National Conference on Databases, BNCOD 10, Aberdeen, Scotland, July 6 8, 1992 : proceedings

Application and theory of Petri nets 1992 : 13th international conference, Sheffield, UK, June 22-26, 1992 : 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