Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Başlık:
Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Yazar:
Colombo, Christian. editor.
ISBN:
9783030037697
Edisyon:
1st ed. 2018.
Fiziksel Niteleme:
XI, 470 p. 113 illus., 42 illus. in color. online resource.
Seri:
Programming and Software Engineering ; 11237
İçindekiler:
Invited Papers -- Tutorial Papers -- Regular Papers -- Short Papers -- Tool Papers.
Özet:
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.
Konu Başlığı:
Ek Kurum Yazar:
Elektronik Erişim:
https://doi.org/10.1007/978-3-030-03769-7