Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings / / edited by Christian Colombo, Martin Leucker
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings / / edited by Christian Colombo, Martin Leucker
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Edizione: | 1st ed. 2018. |
| Descrizione fisica: | 1 online resource (XI, 470 p. 113 illus., 42 illus. in color.) |
| Disciplina: | 005.14 |
| Soggetto topico: | 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 | |
| Persona (resp. second.): | ColomboChristian |
| LeuckerMartin | |
| Note generali: | Includes index. |
| 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. |
| Titolo autorizzato: | Runtime Verification |
| ISBN: | 3-030-03769-X |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910349393203321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Programming and Software Engineering, . 2945-9168 ; ; 11237