Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Title:
Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Author:
Colombo, Christian. editor.
ISBN:
9783030037697
Physical Description:
XI, 470 p. 113 illus., 42 illus. in color. online resource.
Series:
Programming and Software Engineering ; 11237
Contents:
Invited Papers -- Tutorial Papers -- Regular Papers -- Short Papers -- Tool Papers.
Abstract:
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.
Subject Term:
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-030-03769-7