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$

Lời Giới Thiệu Của Nhà Xuất Bản

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.

THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2018
7 tháng 11
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
481
Trang
NHÀ XUẤT BẢN
Springer International Publishing
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
29
Mb

Thêm Sách Tương Tự

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