Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings /

Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings /

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.

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Colombo, Christian (Editor, http://id.loc.gov/vocabulary/relators/edt), Leucker, Martin (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
Edition:1st ed. 2018.
Series:Programming and Software Engineering ; 11237
Subjects:
Software engineering.
Programming languages (Electronic computers).
Computer system failures.
Computer logic.
Computers.
Mathematical logic.
Software Engineering.
Programming Languages, Compilers, Interpreters.
System Performance and Evaluation.
Logics and Meanings of Programs.
The Computing Profession.
Mathematical Logic and Formal Languages.
Online Access:Full Text via HEAL-Link
Description
Summary: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.
Physical Description:XI, 470 p. 113 illus., 42 illus. in color. online resource.
ISBN:9783030037697
DOI:10.1007/978-3-030-03769-7

Similar Items