LEADER 03075nam  22006975  450 
001 9910483081503321
005 20230330012129.0
010   $a3-319-44878-1
024 7 $a10.1007/978-3-319-44878-7
035   $a(CKB)3710000000837738
035   $a(DE-He213)978-3-319-44878-7
035   $a(MiAaPQ)EBC6298040
035   $a(MiAaPQ)EBC5586292
035   $a(Au-PeEL)EBL5586292
035   $a(OCoLC)957269622
035   $a(PPN)194804240
035   $a(EXLCZ)993710000000837738
100   $a20160816d2016      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal Modeling and Analysis of Timed Systems $e14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings /$fedited by Martin Fränzle, Nicolas Markey
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (XII, 245 p. 67 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9884
300   $aIncludes index.
311   $a3-319-44877-3 
327   $aModeling Timed Phenomena -- Stochasticity and Hybrid Control -- Real-time Verification and Synthesis -- Workload Analysis.
330   $aThis book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control; real-time verification and synthesis; workload analysis.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9884
606   $aComputer science
606   $aSoftware engineering
606   $aApplication software
606   $aMachine theory
606   $aTheory of Computation
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aComputer and Information Systems Applications
606   $aFormal Languages and Automata Theory
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aApplication software.
615  0$aMachine theory.
615 14$aTheory of Computation.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aComputer and Information Systems Applications.
615 24$aFormal Languages and Automata Theory.
676   $a003.3
702   $aFränzle$b Martin$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMarkey$b Nicolas$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483081503321
996   $aFormal Modeling and Analysis of Timed Systems$9772562
997   $aUNINA