000 | 03333nam a22006255i 4500 | ||
---|---|---|---|
001 | 978-3-030-29662-9 | ||
003 | DE-He213 | ||
005 | 20240730165925.0 | ||
007 | cr nn 008mamaa | ||
008 | 190812s2019 sz | s |||| 0|eng d | ||
020 |
_a9783030296629 _9978-3-030-29662-9 |
||
024 | 7 |
_a10.1007/978-3-030-29662-9 _2doi |
|
050 | 4 | _aQA76.9.A43 | |
072 | 7 |
_aUMB _2bicssc |
|
072 | 7 |
_aCOM051300 _2bisacsh |
|
072 | 7 |
_aUMB _2thema |
|
082 | 0 | 4 |
_a518.1 _223 |
245 | 1 | 0 |
_aFormal Modeling and Analysis of Timed Systems _h[electronic resource] : _b17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings / _cedited by Étienne André, Mariëlle Stoelinga. |
250 | _a1st ed. 2019. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2019. |
|
300 |
_aXVI, 301 p. 237 illus., 41 illus. in color. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v11750 |
|
505 | 0 | _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. | |
520 | _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. | ||
650 | 0 |
_aAlgorithms. _93390 |
|
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aMachine theory. _991216 |
|
650 | 0 |
_aComputer simulation. _95106 |
|
650 | 0 |
_aComputers, Special purpose. _946653 |
|
650 | 1 | 4 |
_aAlgorithms. _93390 |
650 | 2 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
650 | 2 | 4 |
_aFormal Languages and Automata Theory. _991217 |
650 | 2 | 4 |
_aComputer Modelling. _991218 |
650 | 2 | 4 |
_aSpecial Purpose and Application-Based Systems. _946654 |
700 | 1 |
_aAndré, Étienne. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _991219 |
|
700 | 1 |
_aStoelinga, Mariëlle. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _991220 |
|
710 | 2 |
_aSpringerLink (Online service) _991221 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783030296612 |
776 | 0 | 8 |
_iPrinted edition: _z9783030296636 |
830 | 0 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v11750 _991222 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-030-29662-9 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c86622 _d86622 |