Formal Modeling and Analysis of Timed Systems  Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings /  [electronic resource] : 
edited by Paul Pettersson, Wang Yi. 
 - 1st ed. 2005. 
 - IX, 305 p.  online resource. 
 - Programming and Software Engineering,  3829  2945-9168 ; .
 - Programming and Software Engineering,  3829 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783540316169 
<br/><br/><label>Standard No.: </label>10.1007/11603009  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Software engineering.<br/>Compilers (Computer programs).<br/>Computers, Special purpose.<br/>Computer Science Logic and Foundations of Programming.<br/>Software Engineering.<br/>Compilers and Interpreters.<br/>Special Purpose and Application-Based Systems.
<br/><br/><label>LC Class. No.: </label>QA75.5-76.95 
<br/><br/><label>Dewey Class. No.: </label>004.0151