Bild från Syndetics
Runtime Verification [electronic resource] : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings / edited by Christian Colombo, Martin Leucker.
Materialtyp:
TextSerie: Programming and Software Engineering ; 11237Utgivningsuppgift: Cham : Springer International Publishing : Imprint: Springer, 2018Utgåva: 1st ed. 2018Beskrivning: XI, 470 p. 113 illus., 42 illus. in color. online resourceInnehållstyp: - 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
Onlineresurser:
Innehåll:
I: Springer Nature eBookSammanfattning: 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.
Inga fysiska exemplar för denna post
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.
Licensed e-book