International Journal on Software Tools for Technology Transfer
Title Titel
International Journal on Software Tools for Technology Transfer
e-ISSN
1433-2787
ISSN
1433-2779
Publisher Herausgeber
SPRINGER HEIDELBERG
Access Type
Subject
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 |  | Bartocci, Ezio ; Falcone, Yliès ; Bonakdarpour, Borzoo ; Colombo, Christian ; Decker, Normann ; Havelund, Klaus ; Joshi, Yogi ; Klaedtke, Felix ; Milewicz, Reed ; Reger, Giles ; Rosu, Grigore ; Signoles, Julien ; Thoma, Daniel ; Zalinescu, Eugen ; Zhang, Yi | First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014 | Article Artikel    | 2019 |