Noch Fragen? 0800 / 33 82 637

Runtime Verification

17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-319-67530-5 / 978-3319675305 / 9783319675305

Verlag: Springer International Publishing

Erscheinungsdatum: 06.09.2017

Seiten: 432

Auflage: 1

Herausgegeben von Lahiri Shuvendu, Giles Reger, Shuvendu Lahiri

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück