Pettersson / Yi | Formal Modeling and Analysis of Timed Systems | E-Book | sack.de
E-Book

E-Book, Englisch, 305 Seiten, eBook

Reihe: Programming and Software Engineering

Pettersson / Yi Formal Modeling and Analysis of Timed Systems

Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
2005
ISBN: 978-3-540-31616-9
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

E-Book, Englisch, 305 Seiten, eBook

Reihe: Programming and Software Engineering

ISBN: 978-3-540-31616-9
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark



Pettersson / Yi Formal Modeling and Analysis of Timed Systems jetzt bestellen!

Zielgruppe


Research


Autoren/Hrsg.


Weitere Infos & Material


Invited Talk.- Modular Performance Analysis of Distributed Embedded Systems.- Logic and Specification.- Real Time Temporal Logic: Past, Present, Future.- Translating Timed I/O Automata Specifications for Theorem Proving in PVS.- Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams.- Times Games and Synthesis.- On Optimal Timed Strategies.- Average Reward Timed Games.- Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness.- Invited Talk.- Verification of Parameterized Timed Systems.- Model Checking.- Model Checking the Time to Reach Agreement.- Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems.- A New Verification Procedure for Partially Clairvoyant Scheduling.- Invited Talk.- Timing Analysis and Simulation Tools for Real-Time Control.- Hybrid Systems.- Automatic Rectangular Refinement of Affine Hybrid Systems.- Reachability Problems on Extended O-Minimal Hybrid Automata.- Counterexamples for Timed Probabilistic Reachability.- Petri Nets.- Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets.- Comparison of the Expressiveness of Timed Automata and Time Petri Nets.- Semantics.- Quantifying Similarities Between Timed Systems.- Performance of Pipelined Asynchronous Systems.- Is Timed Branching Bisimilarity an Equivalence Indeed?.- Semantics and Modelling.- Implementation of Timed Automata: An Issue of Semantics or Modeling?.- Timed Abstract Non-interference.



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.