Hybrid and Real-Time Systems
International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings
Mitarbeit:Maler, Oded
Hybrid and Real-Time Systems
International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings
Mitarbeit:Maler, Oded
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
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; also included are full versions or abstracts of 7 invited papers or tutorials. Hybrid Systems consist of digital devices interacting with analog environments; thus the emerging area lies at the crossroads of computer science and control theory. This book focusses on mathematically sound methods for the…mehr
- Nancy Lynch / Bruce Krogh (eds.)Hybrid Systems: Computation and Control39,99 €
- JonssonFormal Techniques in Real-Time and Fault-Tolerant Systems40,99 €
- LangmaackFormal Techniques in Real-Time and Fault-Tolerant Systems79,99 €
- Hybrid Systems IV39,99 €
- BertranTransformation-Based Reactive Systems Development39,99 €
- Jost-Pieter Katoen (ed.)Formal Methods for Real-Time and Probabilistic Systems39,99 €
- Maria D. Di Benedetto / Alberto L. Sangiovanni-Vincentelli (eds.)Hybrid Systems: Computation and Control79,99 €
-
-
-
The volume presents 18 revised full papers and 9 short presentations carefully selected during a highly competitive evaluation process; also included are full versions or abstracts of 7 invited papers or tutorials.
Hybrid Systems consist of digital devices interacting with analog environments; thus the emerging area lies at the crossroads of computer science and control theory. This book focusses on mathematically sound methods for the rigorous and systematic design and analysis of hybrid systems and real-time systems.
- Produktdetails
- Lecture Notes in Computer Science 1201
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 10549527, 978-3-540-62600-8
- 1997.
- Seitenzahl: 436
- Erscheinungstermin: 5. März 1997
- Englisch
- Abmessung: 235mm x 155mm x 24mm
- Gewicht: 562g
- ISBN-13: 9783540626008
- ISBN-10: 354062600X
- Artikelnr.: 09245693
- Lecture Notes in Computer Science 1201
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 10549527, 978-3-540-62600-8
- 1997.
- Seitenzahl: 436
- Erscheinungstermin: 5. März 1997
- Englisch
- Abmessung: 235mm x 155mm x 24mm
- Gewicht: 562g
- ISBN-13: 9783540626008
- ISBN-10: 354062600X
- Artikelnr.: 09245693