FEEDBACK Smiley face
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. - Cham : Springer International Publishing : Imprint: Springer, 2018. - XI, 470 p. 113 illus., 42 illus. in color. online resource. - Programming and Software Engineering ; 11237 . - Programming and Software Engineering ; 11237 .

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

10.1007/978-3-030-03769-7 doi


Computer Science
Software engineering.
Computer science.
Computer system performance.
Logic design.
Computer industry.
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

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in