Jetzt 20% Rabatt auf alle English Books. Jetzt in über 4 Millionen Büchern stöbern und profitieren!
Willkommen, schön sind Sie da!
Logo Ex Libris

Formal Modeling and Analysis of Timed Systems

  • E-Book (pdf)
  • 372 Seiten
(0) Erste Bewertung abgeben
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Syste... Weiterlesen
CHF 100.00
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich


This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers work on foundations and semantics of timed systems; examines techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints; and details applications like real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication.


Abstraction of Probabilistic Systems.- From Analysis to Design.- Efficient On-the-Fly Algorithms for Partially Observable Timed Games.- Undecidability of Universality for Timed Automata with Minimal Resources.- On Timed Models of Gene Networks.- Costs Are Expensive!.- Hypervolume Approximation in Timed Automata Model Checking.- Counter-Free Input-Determined Timed Automata.- Towards Budgeting in Real-Time Calculus: Deferrable Servers.- Automatic Abstraction Refinement for Timed Automata.- Dynamical Properties of Timed Automata Revisited.- Robust Sampling for MITL Specifications.- On the Expressiveness of MTL Variants over Dense Time.- Quantitative Model Checking Revisited: Neither Decidable Nor Approximable.- Efficient Detection of Zeno Runs in Timed Automata.- Partial Order Reduction for Verification of Real-Time Components.- Guided Controller Synthesis for Climate Controller Using Uppaal Tiga.- Symbolic Reachability Analysis of Lazy Linear Hybrid Automata.- Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters.- Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times.- Designing Consistent Multimedia Documents: The RT-LOTOS Methodology.- AMT: A Property-Based Monitoring Tool for Analog Systems.- Region Stability Proofs for Hybrid Systems.- CSL Model Checking Algorithms for Infinite-State Structured Markov Chains.- Symbolic Simulation-Checking of Dense-Time Automata.


Titel: Formal Modeling and Analysis of Timed Systems
Untertitel: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
EAN: 9783540754541
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Veröffentlichung: 18.09.2007
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 7.82 MB
Anzahl Seiten: 372

Weitere Bände aus der Buchreihe "Theoretical Computer Science and General Issues"