Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0

Runtime Verification

69,54 €*

Versandkostenfrei

Produktnummer: 1829f01361e2974264a6df33426799c841
Themengebiete: dynamic analysis enforcement fault protection hardware monitoring predictive monitoring program instrumentation program specification runtime monitoring runtime verification specification mining
Veröffentlichungsdatum: 04.10.2019
EAN: 9783030320782
Sprache: Englisch
Seitenzahl: 413
Produktart: Kartoniert / Broschiert
Herausgeber: Finkbeiner, Bernd Mariani, Leonardo
Verlag: Springer International Publishing
Untertitel: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Produktinformationen "Runtime Verification"
This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions.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 system correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.Chapter “Assumption-Based Runtime Verification with Partial Observability and Resets” and chapter “NuRV: a nuXmv Extension for Runtime Verification“ are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Bücherregal gefüllt mit juristischen Werken

Sie möchten lieber vor Ort einkaufen?

Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.

Juristische Fachbuchhandlung
Georg Blendl

Parcellistraße 5 (Maxburg)
8033 München

Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen