Runtime Verification
Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings / [electronic resource] :
edited by Christian Colombo, Martin Leucker.
- 1st ed. 2018.
- XI, 470 p. 113 illus., 42 illus. in color. online resource.
- Programming and Software Engineering ; 11237 .
- Programming and Software Engineering ; 11237 .
Acceso multiusuario
Invited Papers -- Tutorial Papers -- Regular Papers -- Short Papers -- Tool Papers.
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.
9783030037697
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.
QA76.758
005.1
Acceso multiusuario
Invited Papers -- Tutorial Papers -- Regular Papers -- Short Papers -- Tool Papers.
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.
9783030037697
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.
QA76.758
005.1
