Runtime Verification Runtime Verification

Runtime Verification

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

Christian Colombo 및 Martin Leucker
    • US$64.99
    • US$64.99

출판사 설명

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.

장르
컴퓨터 및 인터넷
출시일
2018년
11월 7일
언어
EN
영어
길이
481
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
29
MB

비슷한 책 더 보기

Runtime Verification Runtime Verification
Runtime Verification
2017년
Lectures on Runtime Verification Lectures on Runtime Verification
Lectures on Runtime Verification
2018년
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2017년
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
2018년
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
2016년
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
2020년