Runtime Verification Runtime Verification

Runtime Verification

18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Christian Colombo و Martin Leucker
    • ‏64٫99 US$
    • ‏64٫99 US$

وصف الناشر

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.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٨
٧ نوفمبر
اللغة
EN
الإنجليزية
عدد الصفحات
٤٨١
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٢٩
‫م.ب.‬

المزيد من الكتب المشابهة

Runtime Verification Runtime Verification
Runtime Verification
٢٠١٧
Lectures on Runtime Verification Lectures on Runtime Verification
Lectures on Runtime Verification
٢٠١٨
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
٢٠١٧
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
٢٠١٨
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
٢٠١٦
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
٢٠٢٠