60,95 €
60,95 €
inkl. MwSt.
Sofort per Download lieferbar
30 °P sammeln
60,95 €
Als Download kaufen
60,95 €
inkl. MwSt.
Sofort per Download lieferbar
30 °P sammeln
Jetzt verschenken
Alle Infos zum eBook verschenken
60,95 €
inkl. MwSt.
Sofort per Download lieferbar
Alle Infos zum eBook verschenken
30 °P sammeln
Andere Kunden interessierten sich auch für
![Verified Software. Theories, Tools, and Experiments (eBook, PDF)]( "Verified Software. Theories, Tools, and Experiments (eBook, PDF)")
Verified Software. Theories, Tools, and Experiments (eBook, PDF)40,95 €![Formal Methods for Industrial Critical Systems (eBook, PDF)]( "Formal Methods for Industrial Critical Systems (eBook, PDF)")
Formal Methods for Industrial Critical Systems (eBook, PDF)40,95 €![Leveraging Applications of Formal Methods, Verification and Validation. Verification (eBook, PDF)]( "Leveraging Applications of Formal Methods, Verification and Validation. Verification (eBook, PDF)")
Leveraging Applications of Formal Methods, Verification and Validation. Verification (eBook, PDF)40,95 €![Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems (eBook, PDF)]( "Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems (eBook, PDF)")
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems (eBook, PDF)40,95 €![Leveraging Applications of Formal Methods, Verification and Validation. Modeling (eBook, PDF)]( "Leveraging Applications of Formal Methods, Verification and Validation. Modeling (eBook, PDF)")
Leveraging Applications of Formal Methods, Verification and Validation. Modeling (eBook, PDF)40,95 €![Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice (eBook, PDF)]( "Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice (eBook, PDF)")
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice (eBook, PDF)40,95 €![Fundamentals of Software Engineering (eBook, PDF)]( "Fundamentals of Software Engineering (eBook, PDF)")
Fundamentals of Software Engineering (eBook, PDF)40,95 €
This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018.
The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 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 correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.
Chapter "Hardware-based Runtime Verification with Embedded Tracing Units and Stream Processing" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 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 correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.
Chapter "Hardware-based Runtime Verification with Embedded Tracing Units and Stream Processing" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.