Vor Ort
Merkzettel Warenkorb
  • Produktbild: Formal Modeling and Analysis of Timed Systems
  • Produktbild: Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.09.2006

Herausgeber

Eugene Asarin + weitere

Verlag

Springer Berlin

Seitenzahl

372

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

544 g

Auflage

2006

Sprache

Englisch

ISBN

978-3-540-45026-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.09.2006

Herausgeber

Verlag

Springer Berlin

Seitenzahl

372

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

544 g

Auflage

2006

Sprache

Englisch

ISBN

978-3-540-45026-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Formal Modeling and Analysis of Timed Systems
  • Produktbild: Formal Modeling and Analysis of Timed Systems
  • Invited Talks.- Timed Alternating-Time Temporal Logic.- Concurrent Semantics Without the Notions of State or State Transitions.- Decidability and Expressive Power of Real Time Logics.- Contributed Papers.- Extended Directed Search for Probabilistic Timed Reachability.- Intersection of Regular Signal-Event (Timed) Languages.- Refinements and Abstractions of Signal-Event (Timed) Languages.- Bridging the Gap Between Timed Automata and Bounded Time Petri Nets.- Matching Scenarios with Timing Constraints.- Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata.- Model Checking Timed Automata with Priorities Using DBM Subtraction.- Symbolic Robustness Analysis of Timed Automata.- Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion.- Temporal Logic Verification Using Simulation.- Undecidable Problems About Timed Automata.- On Timed Simulation Relations for Hybrid Systems and Compositionality.- Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling.- On the Computational Power of Timed Differentiable Petri Nets.- Model-Checking Timed ATL for Durational Concurrent Game Structures.- A Dose of Timed Logic, in Guarded Measure.- From MITL to Timed Automata.- Adding Invariants to Event Zone Automata.- Static Analysis for State-Space Reduction of Polygonal Hybrid Systems.- On the Expressiveness of MTL with Past Operators.- Simulator for Real-Time Abstract State Machines.- A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes.