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 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.09.2008

Herausgeber

Franck Cassez + weitere

Verlag

Springer Berlin

Seitenzahl

295

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

475 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-85777-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.09.2008

Herausgeber

Verlag

Springer Berlin

Seitenzahl

295

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

475 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-85777-8

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.- Some Recent Results in Metric Temporal Logic.- Composing Web Services in an Open World: Issues of Quality of Service.- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets.- Session 1. Extensions of Timed Automata and Semantics.- Infinite Runs in Weighted Timed Automata with Energy Constraints.- Concavely-Priced Timed Automata.- Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets.- Timed Automata with Integer Resets: Language Inclusion and Expressiveness.- Session 2. Timed Games and Logic.- Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities.- MTL with Bounded Variability: Decidability and Complexity.- Timed Parity Games: Complexity and Robustness.- On Scheduling Policies for Streams of Structured Jobs.- Session 3. Case Studies.- A Framework for Distributing Real-Time Functions.- Formal Modeling and Scheduling of Datapaths of Digital Document Printers.- Session 4. Model-Checking of Probabilistic Systems.- A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks.- Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains.- Session 5. Verification and Test.- Convergence Verification: From Shared Memory to Partially Synchronous Systems.- Compositional Abstraction in Real-Time Model Checking.- On Conformance Testing for Timed Systems.- Session 6. Time Petri Nets.- Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs.- Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph.