Runtime Verification [electronic resource] : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings / edited by Christian Colombo, Martin Leucker.
Contributor(s): Colombo, Christian [editor.]
| Leucker, Martin [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Programming and Software Engineering: 11237Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Edition: 1st ed. 2018.Description: XI, 470 p. 113 illus., 42 illus. in color. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783030037697.Subject(s): Software engineering | Compilers (Computer programs) | Electronic digital computers -- Evaluation | Computer science | Computers | Professions | Machine theory | Software Engineering | Compilers and Interpreters | System Performance and Evaluation | Computer Science Logic and Foundations of Programming | The Computing Profession | Formal Languages and Automata TheoryAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.1 Online resources: Click here to access online
Contents:
In:
Springer Nature eBookSummary: 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.
Invited Papers -- Tutorial Papers -- Regular Papers -- Short Papers -- Tool Papers.
No physical items for this record
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.
There are no comments for this item.