|
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910349393203321 |
|
|
Titolo |
Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings / / edited by Christian Colombo, Martin Leucker |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2018.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 470 p. 113 illus., 42 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 11237 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
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 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Papers -- Tutorial Papers -- Regular Papers -- Short Papers -- Tool Papers. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
|
|
| |