LEADER 03475nam  22007455  450 
001 9910349304503321
005 20250626164154.0
010   $a3-030-29662-8
024 7 $a10.1007/978-3-030-29662-9
035   $a(CKB)4100000009046461
035   $a(DE-He213)978-3-030-29662-9
035   $a(MiAaPQ)EBC5917706
035   $a(PPN)254820700
035   $a(EXLCZ)994100000009046461
100   $a20190812d2019      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 $e17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27?29, 2019, Proceedings /$fedited by Étienne André, Mariëlle Stoelinga
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (XVI, 301 p. 237 illus., 41 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11750
300   $aIncludes Index.
311 08$a3-030-29661-X 
327   $aSpecial Session on Data-driven and Stochastic Approaches to Real-time, including Monitoring and Big Data -- Timed systems -- Linear and Non-linear Systems -- Timed Automata -- Special Session on Timed Systems and Probabilities.
330   $aThis book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019. The 15 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers are organized in the following topical sections: special session on data-driven and stochastic approaches to real-time, including monitoring and Big Data; timed systems; linear and non-linear systems; timed automata; special session on timed systems and probabilities.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11750
606   $aAlgorithms
606   $aSoftware engineering
606   $aComputer science
606   $aMachine theory
606   $aComputer simulation
606   $aComputers, Special purpose
606   $aAlgorithms
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aComputer Modelling
606   $aSpecial Purpose and Application-Based Systems
615  0$aAlgorithms.
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aMachine theory.
615  0$aComputer simulation.
615  0$aComputers, Special purpose.
615 14$aAlgorithms.
615 24$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aComputer Modelling.
615 24$aSpecial Purpose and Application-Based Systems.
676   $a004.0151
676   $a004.0151
702   $aAndré$b Étienne$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aStoelinga$b Mariëlle$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349304503321
996   $aFormal Modeling and Analysis of Timed Systems$9772562
997   $aUNINA