Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014."
Link zu diesem Datensatz | https://d-nb.info/113053958X |
Titel | First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014 / by Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang |
Person(en) |
Bartocci, Ezio (Verfasser) Falcone, Yliès (Sonstige) Bonakdarpour, Borzoo (Sonstige) Colombo, Christian (Sonstige) Decker, Normann (Sonstige) Havelund, Klaus (Sonstige) Joshi, Yogi (Sonstige) Klaedtke, Felix (Sonstige) Milewicz, Reed (Sonstige) Reger, Giles (Sonstige) Rosu, Grigore (Sonstige) Signoles, Julien (Sonstige) Thoma, Daniel (Sonstige) Zălinescu, Eugen (Sonstige) Zhang, Yi (Sonstige) |
Organisation(en) | SpringerLink (Online service) (Sonstige) |
Umfang/Format | Online-Ressource : online resource. |
Persistent Identifier |
URN: urn:nbn:de:1111-201704237150 DOI: 10.1007/s10009-017-0454-5 |
URL | http://dx.doi.org/10.1007/s10009-017-0454-5 (Open Access) |
Zeitliche Einordnung | Erscheinungsdatum: 2017 |
Sprache(n) | Englisch (eng) |
Beziehungen | In: International journal on software tools for technology transfer (7.4.2017: 1-40) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |