Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Ruijters, Enno"'
Autor:
Hahn, Ernst Moritz, Hartmanns, Arnd, Hensel, Christian, Klauck, Michaela, Klein, Joachim, Křetínský, Jan, Parker, David, Quatmann, Tim, Steinmetz, Marcel, Ruijters, Enno, Beyer, Dirk, Huisman, Marieke, Kordon, Fabrice, Steffen, Bernhard
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems-25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Cham : Springer Open, Lecture notes in computer science 11429, 69-92 (2019). doi:10.1007/978-3-030-17502-3_5
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.-Part 3: 25 years of TACAS: TOOLympics : held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen (Eds.)
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.-Part 3: 25 years of TACAS: TOOLympics : held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen (Eds.)25. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, Prague, Czech Republic, 2019-04-06-2019-04-1122. European Joint Conference on Theory and Practice of Software, ETAPS, Prague, Czech Republic, 2019-04-06-2019-04-11
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, 69-92
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030175016
TACAS (3)
Cham : Springer Open, Lecture notes in computer science 11429, 69-92 (2019). doi:10.1007/978-3-030-17502-3_5
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.-Part 3: 25 years of TACAS: TOOLympics : held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen (Eds.)
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.-Part 3: 25 years of TACAS: TOOLympics : held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen (Eds.)25. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, Prague, Czech Republic, 2019-04-06-2019-04-1122. European Joint Conference on Theory and Practice of Software, ETAPS, Prague, Czech Republic, 2019-04-06-2019-04-11
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, 69-92
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030175016
TACAS (3)
Quantitative formal models capture probabilistic behaviour, real-time aspects, or general continuous dynamics. A number of tools support their automatic analysis with respect to dependability or performance properties. QComp 2019 is the first, friend
Autor:
Hartmanns, Arnd, Klauck, Michaela, Parker, David, Quatmann, Tim, Ruijters, Enno J.J., Zhang, Lijun, Vojnar, Tomáš
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems-25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings, 344-350
STARTPAGE=344;ENDPAGE=350;TITLE=Tools and Algorithms for the Construction and Analysis of Systems-25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings
Cham, Switzerland : Springer Open, Lecture notes in computer science 11427, 344-350 (2019). doi:10.1007/978-3-030-17462-0_20
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Tomáš Vojnar, Lijun Zhang (Eds.).-Part 1
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Tomáš Vojnar, Lijun Zhang (Eds.).-Part 125. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, Prague, Czech Republic, 2019-04-06-2019-04-1122. European Joint Conference on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, 2019-04-06-2019-04-11
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030174613
TACAS (1)
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems-25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
STARTPAGE=344;ENDPAGE=350;TITLE=Tools and Algorithms for the Construction and Analysis of Systems-25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings
Cham, Switzerland : Springer Open, Lecture notes in computer science 11427, 344-350 (2019). doi:10.1007/978-3-030-17462-0_20
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Tomáš Vojnar, Lijun Zhang (Eds.).-Part 1
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Tomáš Vojnar, Lijun Zhang (Eds.).-Part 125. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, Prague, Czech Republic, 2019-04-06-2019-04-1122. European Joint Conference on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, 2019-04-06-2019-04-11
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030174613
TACAS (1)
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems-25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems / Vojnar, Tomáš (Editor) [https://orcid.org/0000-0002-2746-8792] ; Cham : Springer International Publishing, 2019, Chapter 20 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-030-17461-3=97
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0e14d254b36593faa5c2de6961d97d0c
https://zenodo.org/record/5750687
https://zenodo.org/record/5750687