Hybrid and real-time systems : :: SCD d'Orléans

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

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

This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART'97, held in Grenoble, France, in March 1997. The volume presents 18 revised full papers and 9 short presentations carefully selected during a highly competitive evaluation process;...

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Erakunde egilea:	HART'97 :Grenoble, France
Beste egile batzuk:	Maler, Oded, 1957- (Argitalpenaren zuzendaria)
Formatua:	Livre numérique
Hizkuntza:	Anglais
Argitaratua:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Saila:	Lecture notes in computer science 1201
Gaiak:	Génie logiciel Informatique Temps réel (informatique) Microprocesseurs Calculateurs hybrides Actes de congrès
Sarrera elektronikoa:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Oharra:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Hybrid and real-time systems, international workshop, HART '97, Grenoble, France, March 26-28, 1997, proceedings, Oded Maler (ed.), 1997, Berlin, Springer, 1 vol. (IX- 414 p.), Lecture notes in computer science, 3-540-62600-X • Hybrid and Real-Time Systems, Texte imprimé, 9783662171721

Antzeko izenburuak

Hybrid systems : computation and control : first International Workshop, HSCC'98, Berkeley, California, USA, April 1998 : proceedings

Hybrid systems
nork: Grossman, Robert, 1957-

Hybrid systems III : verification and control

Hybrid systems : computation and control : 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25 27, 2002 : proceedings

Hybrid systems : computation and control : 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings

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

Hybrid systems : computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28 30, 2001 : proceedings

Hybrid systems. [Proceedings of the Fifth International Hybrid Systems Workshop, held in Notre Dame, Indiana, September 11-13, 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
nork: Bernardo, Marco

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

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

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

Hybrid systems : computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : 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 : 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 : 5th international symposium, FTRTFT '98, Lyngby, Denmaek, September, 14-18, 1998 : proceedings

Hybrid systems IV

Hybrid systems II : [Proceedings of the Second International Hybrid Systems Workshop, held in Lyngby, Denmark, October 19-21, 1992]

Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21 23, 1997 : proceedings

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

Informatique industrielle : microprocesseurs et interfaces temps-réel
nork: Hersch, Roger D.
Argitaratua: (1997)

Parallel problem solving from nature : PPSN VIII : 8th international conference, Birmingham, UK, September 18-22, 2004 : proceedings
nork: Yao, Xin, 1962-

Database machines : sixth International workshop, IWDM '89, Deauville, France, June 19-21, 1989 : proceedings

CIM et temps réel
nork: Brenier, Henri, 19..-...., ingénieur
Argitaratua: (1992)

Real time control of large scale systems : proceedings of the first European workshop, University of Patras, Greece, July 9-12, 1984

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

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

Theory and practice of parallel programming : International workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings

Real-time imaging.
Argitaratua: (1995)

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

Hybrid systems : computation and control : second International Workshop, HSCC 99, Berg en Dal, The Netherlands, March 29 31, 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

Dynamic Reconfiguration in Real-Time Systems : Energy, Performance, and Thermal Perspectives
nork: Wang, Weixun, et al.
Argitaratua: (2013)

Advances in computing science - ASIAN '97 : Third Asian Computing Science Conference Kathmandu, Nepal, December 9 11, 1997 : proceedings

Mathematics of program construction : 375th anniversary of the Groningen university, international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings

Parallel symbolic languages and systems : International Workshop PSLS'95, Beaune, France, October 2-4, 1995 : proceedings

Energy autonomy
nork: Chetto, Maryline, 1959-, et al.
Argitaratua: (2016)

Hybrid systems : computation and control : Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000 : proceedings

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

© 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