Runtime Verification [electronic resource] : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings /
Material type: TextSeries: Programming and Software Engineering ; 11237Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Edition: 1st ed. 2018Description: XI, 470 p. 113 illus., 42 illus. in color. online resourceContent type:- text
- computer
- online resource
- 9783030037697
- 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 Theory
- 005.1 23
- QA76.758
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 on this title.