LEADER 05260nam 22007815 450 001 996465820803316 005 20200701033805.0 010 $a3-540-40903-3 024 7 $a10.1007/b12025 035 $a(CKB)1000000000212148 035 $a(SSID)ssj0000323230 035 $a(PQKBManifestationID)11243255 035 $a(PQKBTitleCode)TC0000323230 035 $a(PQKBWorkID)10296677 035 $a(PQKB)11528300 035 $a(DE-He213)978-3-540-40903-8 035 $a(MiAaPQ)EBC3088915 035 $a(PPN)155181076 035 $a(EXLCZ)991000000000212148 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Modeling and Analysis of Timed Systems$b[electronic resource] $eFirst International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers /$fedited by Kim G. Larsen, Peter Niebert 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (VIII, 281 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2791 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-21671-5 320 $aIncludes bibliographical references and index. 327 $aTimed Automata and Timed Languages Challenges and Open Problems -- Towards Efficient Partition Refinement for Checking Reachability in Timed Automata -- Checking ACTL * Properties of Discrete Timed Automata via Bounded Model Checking -- Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently -- Adding Symmetry Reduction to Uppaal -- TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems -- Optimization of Timed Automata Models Using Mixed-Integer Programming -- Discrete-Time Rewards Model-Checked -- Performance Analysis of Probabilistic Timed Automata Using Digital Clocks -- An Interval-Based Algebra for Restricted Event Detection -- PARS: A Process Algebra with Resources and Schedulers -- Formal Semantics of Hybrid Chi -- Run-Time Guarantees for Real-Time Systems -- A Nonarchimedian Discretization for Timed Languages -- Folk Theorems on the Determinization and Minimization of Timed Automata -- Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking -- On Timing Analysis of Combinational Circuits -- Analysis of Real Time Operating System Based Applications -- Time-Optimal Test Cases for Real-Time Systems -- Using Zone Graph Method for Computing the State Space of a Time Petri Net -- Causal Time Calculus -- ELSE: A New Symbolic State Generator for Timed Automata. 330 $aThis book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full papers presented together with an invited paper and the abstracts of two invited talks were carefully selected from 36 submissions during two rounds of reviewing and improvement. All current aspects of formal method for modeling and analyzing timed systems are addressed; among the timed systems dealt with are timed automata, timed Petri nets, max-plus algebras, real-time systems, discrete time systems, timed languages, and real-time operating systems. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2791 606 $aApplied mathematics 606 $aEngineering mathematics 606 $aComputer logic 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aSpecial purpose computers 606 $aApplications of Mathematics$3https://scigraph.springernature.com/ontologies/product-market-codes/M13003 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$aApplied mathematics. 615 0$aEngineering mathematics. 615 0$aComputer logic. 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aSpecial purpose computers. 615 14$aApplications of Mathematics. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a004.33 702 $aLarsen$b Kim G$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNiebert$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465820803316 996 $aFormal Modeling and Analysis of Timed Systems$9772562 997 $aUNISA