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

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.08.2010

Abbildungen

X, 257 p. 55 illus.

Herausgeber

Krishnendu Chatterjee + weitere

Verlag

Springer Berlin

Seitenzahl

257

Sprache

Englisch

ISBN

978-3-642-15296-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.08.2010

Abbildungen

X, 257 p. 55 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

257

Sprache

Englisch

ISBN

978-3-642-15296-2

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 30 827870
Fax: +49 30 8214091

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
  • Interdisciplinary Foundations for Open Cyber-Physical Systems.- Safraless Procedures for Timed Specifications.- Property-Based Monitoring of Analog and Mixed-Signal Systems.- A Framework for Verification of Software with Time and Probabilities.- Synchrony and Time in Fault-Tolerant Distributed Algorithms.- Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting.- Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games.- Natural Domain SMT: A Preliminary Assessment.- Robust Satisfaction of Temporal Logic over Real-Valued Signals.- Combining Symbolic Representations for Solving Timed Games.- Expected Reachability-Time Games.- Diagnosis Using Unfoldings of Parametric Time Petri Nets.- From Mtl to Deterministic Timed Automata.- Unambiguity in Timed Regular Languages: Automata and Logics.- A Process Algebraic Framework for Modeling Resource Demand and Supply.- Memory Event Clocks.- Simulation and Bisimulation for Probabilistic Timed Automata.- Layered Composition for Timed Automata.- A Conformance Testing Relation for Symbolic Timed Automata.