LEADER 03527nam  22006615  450 
001 996466055603316
005 20230405230252.0
010   $a3-642-40229-1
024 7 $a10.1007/978-3-642-40229-6
035   $a(CKB)3710000000002670
035   $a(SSID)ssj0000962742
035   $a(PQKBManifestationID)11511694
035   $a(PQKBTitleCode)TC0000962742
035   $a(PQKBWorkID)10975872
035   $a(PQKB)11739095
035   $a(DE-He213)978-3-642-40229-6
035   $a(MiAaPQ)EBC3093358
035   $a(PPN)172429153
035   $a(EXLCZ)993710000000002670
100   $a20130723d2013      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] $e11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings /$fedited by Víctor Braberman, Laurent Fribourg
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (X, 275 p. 70 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8053
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-40228-3 
330   $aThis book constitutes the refereed proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, held in Buenos Aires, Argentina, in August 2013. The 18 revised full papers presented were carefully reviewed and selected from 41 submissions. The book covers topics of foundations and semantics (theoretical foundations of timed systems and languages; comparison between different models, such as timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models); methods and Tools (techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints, e.g., scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.); applications (adaptation and specialization of timing technology in application domains in which timing plays an important role, e.g., real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunications).
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8053
606   $aComputer science
606   $aSoftware engineering
606   $aComputer science?Mathematics
606   $aMathematical statistics
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aProbability and Statistics in Computer Science
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aComputer science?Mathematics.
615  0$aMathematical statistics.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aProbability and Statistics in Computer Science.
676   $a003.3
702   $aBraberman$b Víctor$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aFribourg$b Laurent$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466055603316
996   $aFormal Modeling and Analysis of Timed Systems$9772562
997   $aUNISA