TY  - BOOK
AU  - Colombo,Christian
AU  - Leucker,Martin
ED  - SpringerLink (Online service)
TI  - Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings 
T2  - Programming and Software Engineering
SN  - 9783030037697
AV  - QA76.758 
U1  - 005.1 23
PY  - 2018///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer system failures
KW  - Computer logic
KW  - Computers
KW  - Mathematical logic
KW  - Software Engineering
KW  - Programming Languages, Compilers, Interpreters
KW  - System Performance and Evaluation
KW  - Logics and Meanings of Programs
KW  - The Computing Profession
KW  - Mathematical Logic and Formal Languages
N1  - Acceso multiusuario; Invited Papers -- Tutorial Papers -- Regular Papers -- Short Papers -- Tool Papers
N2  - 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
UR  - http://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-030-03769-7
ER  -