LEADER 04258nam  22006495  450 
001 9910483853003321
005 20200701062402.0
024 7 $a10.1007/11603009
035   $a(CKB)1000000000213569
035   $a(SSID)ssj0000317726
035   $a(PQKBManifestationID)11248913
035   $a(PQKBTitleCode)TC0000317726
035   $a(PQKBWorkID)10294611
035   $a(PQKB)10041810
035   $a(DE-He213)978-3-540-31616-9
035   $a(MiAaPQ)EBC3068413
035   $a(PPN)123099064
035   $a(EXLCZ)991000000000213569
100   $a20100409d2005      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Modeling and Analysis of Timed Systems $eThird International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings /$fedited by Paul Pettersson, Wang Yi
205   $a1st ed. 2005.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005.
215   $a1 online resource (IX, 305 p.) 
225 1 $aProgramming and Software Engineering ;$v3829
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$aPrinted edition: 9783540309468 
320   $aIncludes bibliographical references and index.
327   $aInvited 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.
410  0$aProgramming and Software Engineering ;$v3829
606   $aComputer logic
606   $aSoftware engineering
606   $aProgramming languages (Electronic computers)
606   $aSpecial purpose computers
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030
615  0$aComputer logic.
615  0$aSoftware engineering.
615  0$aProgramming languages (Electronic computers).
615  0$aSpecial purpose computers.
615 14$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aSpecial Purpose and Application-Based Systems.
676   $a005.1015113
702   $aPettersson$b Paul$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aYi$b Wang$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910483853003321
996   $aFormal Modeling and Analysis of Timed Systems$9772562
997   $aUNINA