• Runtime Verification
  • *Description*

*Result*: Runtime Verification

*Title*:
Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings / edited by Bernd Finkbeiner, Leonardo Mariani
*Author/editor-in-chief*:
Finkbeiner, Bernd (Herausgeber); Mariani, Leonardo (Herausgeber)
*Edition*:
1st ed. 2019
*Publication*:
Cham : Springer International Publishing, 2019
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (X, 413 Seiten) : 377 illus., 58 illus. in color.
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Programming and Software Engineering, ISSN 2945-9168 ; 11757
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Runtime Verification. - Cham : Springer International Publishing, 2019. - ISBN 9783030320782
*ISBN*:
9783030320799 ; 3030320790 ; 978--303032078-2 (Sekundärausgabe) ; 978--303032080-5 (Sekundärausgabe)
*DOI*:
10.1007/978-3-030-32079-9

*Additional information*

*Additional functions*