Hybrid and Real-Time Systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings - Taschenbuch
1997, ISBN: 354062600X
[EAN: 9783540626008], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], ECHTZEIT; REAL-TIME; REALZEIT; EMBEDDED SYSTEM; MIKROCONTROLLER; STEUERSYSTEME; COMPUTER; COMPUTERSCIENCE; CONT… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9783540626008
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 rev… Mehr…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540626008
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 revi… Mehr…
Springer.com Nr. 978-3-540-62600-8. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
Hybrid and Real-Time Systems International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings - neues Buch
1997, ISBN: 354062600X
1997 Kartoniert / Broschiert Echtzeit, Real-time, Realzeit, Embedded System, Mikrocontroller, Software Engineering, Theoretische Informatik, Rechnerarchitektur und Logik-Entwurf, Wissen… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
ISBN: 9783540626008
Hybrid and Real-Time Systems ab 92.99 € als Taschenbuch: International Workshop HART'97 Grenoble France March 26-28 1997 Proceedings. Auflage 1997. Aus dem Bereich: Bücher, Ratgeber, Comp… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Hybrid and Real-Time Systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings - Taschenbuch
1997, ISBN: 354062600X
[EAN: 9783540626008], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], ECHTZEIT; REAL-TIME; REALZEIT; EMBEDDED SYSTEM; MIKROCONTROLLER; STEUERSYSTEME; COMPUTER; COMPUTERSCIENCE; CONT… Mehr…
ISBN: 9783540626008
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 rev… Mehr…
ISBN: 9783540626008
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 revi… Mehr…
Hybrid and Real-Time Systems International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings - neues Buch
1997, ISBN: 354062600X
1997 Kartoniert / Broschiert Echtzeit, Real-time, Realzeit, Embedded System, Mikrocontroller, Software Engineering, Theoretische Informatik, Rechnerarchitektur und Logik-Entwurf, Wissen… Mehr…
ISBN: 9783540626008
Hybrid and Real-Time Systems ab 92.99 € als Taschenbuch: International Workshop HART'97 Grenoble France March 26-28 1997 Proceedings. Auflage 1997. Aus dem Bereich: Bücher, Ratgeber, Comp… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings Oded Maler Editor
EAN (ISBN-13): 9783540626008
ISBN (ISBN-10): 354062600X
Taschenbuch
Erscheinungsjahr: 1997
Herausgeber: Springer Berlin Heidelberg Core >1 >T
436 Seiten
Gewicht: 0,655 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-05-31T04:28:44+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-02-19T16:52:28+01:00 (Vienna)
ISBN/EAN: 354062600X
ISBN - alternative Schreibweisen:
3-540-62600-X, 978-3-540-62600-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: oded, maler, springer
Titel des Buches: real time, computer systems, international 1997, hart, real science, international times, grenoble, hybrid, time brief, maler, proceedings international workshop
Daten vom Verlag:
Autor/in: Oded Maler
Titel: Lecture Notes in Computer Science; Hybrid and Real-Time Systems - International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings
Verlag: Springer; Springer Berlin
426 Seiten
Erscheinungsjahr: 1997-03-05
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 426 p.
BC; Hardcover, Softcover / Technik/Elektronik, Elektrotechnik, Nachrichtentechnik; Regelungstechnik; Verstehen; Steuersysteme; computer; computer science; control systems; embedded systems; hybrid systems; real-time systems; systems verification; Control and Systems Theory; Theory of Computation; Special Purpose and Application-Based Systems; Processor Architectures; Software Engineering; Control, Robotics, Automation; Theoretische Informatik; Wissensbasierte Systeme, Expertensysteme; Rechnerarchitektur und Logik-Entwurf; Software Engineering; EA
Verifying liveness properties of reactive systems (a tutorial).- The Lyapunov method (a tutorial).- Relating high-level and low-level action descriptions in a logic of actions and change.- A new algorithm for discrete timed symbolic model checking.- State clock logic: A decidable real-time logic.- From quantity to quality.- Verifying periodic task-control systems.- A case study in timed CSP: The railroad crossing problem.- Analysis of slope-parametric hybrid automata.- Comparing timed c/e systems with timed automata (abstract).- Design tools for hybrid control systems.- On-Line, reflexive constraint satisfaction for hybrid systems: First steps.- Hybrid control issues in Air Traffic Management Systems.- Multiobjective hybrid controller synthesis.- Modelling a time-dependent protocol using the Circal process algebra.- Using HyTech to verify an automotive control System.- Safety verification for automated platoon maneuvers: A case study.- Verifying hybrid systems modeled as timed automata: A case study.- Using an object-oriented methodology to bring a hybrid system from initial concept to formal definition.- A digital real-time simulator for rail-vehicle control system testing.- Hybrid flow nets for hybrid processes modelling and control.- Representation of robust and non-robust solutions of nonlinear discrete-continuous systems.- Controller design of hybrid systems.- What can we learn from synchronous data-flow languages?.- Verification of real time chemical processing systems.- Functional specification of real-time and hybrid systems.- Relating time progress and deadlines in hybrid systems.- Semantics and verification of extended phase transition systems in Duration Calculus.- Weak refinement for modal hybrid systems.- Robust timed automata.- Data-structures for the verification of timed automata.- Synthesizing controllers for hybrid systems.- Control synthesis for a class of hybrid systems subject to configuration-based safety constraints.- Hybrid dynamic programming.- Invariance principle in hybrid systems modeled by mixed mappings.- Hybrid systems described by the complementarity formalism.- Generalized linear complementarity problems and the analysis of continuously variable systems and discrete event systems.- SHIFT: A language for simulating interconnected hybrid systems.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783319471501 Hybrid Systems Biology (Eugenio Cinquemani; Alexandre Donzé)
< zum Archiv...