LEADER 03265nam  22007695  450 
001 996466171803316
005 20230406023515.0
010   $a3-642-24310-X
024 7 $a10.1007/978-3-642-24310-3
035   $a(CKB)2550000000054515
035   $a(SSID)ssj0000609743
035   $a(PQKBManifestationID)11354799
035   $a(PQKBTitleCode)TC0000609743
035   $a(PQKBWorkID)10618489
035   $a(PQKB)11120477
035   $a(DE-He213)978-3-642-24310-3
035   $a(MiAaPQ)EBC3067326
035   $a(PPN)15630788X
035   $a(EXLCZ)992550000000054515
100   $a20110924d2011      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] $e9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings /$fedited by Uli Fahrenberg, Stavros Tripakis
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XI, 353 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6919
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-24309-6 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011. The 20 revised full papers presented together with three invited talks were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on probabilistic methods, robustness, games, verification and testing, verification, hybrid systems, and applications.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6919
606   $aComputer science
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aMachine theory
606   $aComputer programming
606   $aAlgorithms
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aFormal Languages and Automata Theory
606   $aProgramming Techniques
606   $aAlgorithms
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aMachine theory.
615  0$aComputer programming.
615  0$aAlgorithms.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aFormal Languages and Automata Theory.
615 24$aProgramming Techniques.
615 24$aAlgorithms.
676   $a005.1015113
702   $aFahrenberg$b Uli$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aTripakis$b Stavros$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aFORMATS 2011
906   $aBOOK
912   $a996466171803316
996   $aFormal Modeling and Analysis of Timed Systems$9772562
997   $aUNISA