Runtime Verification [electronic resource] : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings / edited by Christian Colombo, Martin Leucker.
Tipo de material: TextoSeries Programming and Software Engineering ; 11237Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Edición: 1st ed. 2018Descripción: XI, 470 p. 113 illus., 42 illus. in color. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783030037697Tema(s): Software engineering | Programming languages (Electronic computers) | Computer system failures | Computer logic | Computers | Mathematical logic | Software Engineering | Programming Languages, Compilers, Interpreters | System Performance and Evaluation | Logics and Meanings of Programs | The Computing Profession | Mathematical Logic and Formal LanguagesFormatos físicos adicionales: Printed edition:: Sin título; Printed edition:: Sin títuloClasificación CDD: 005.1 Clasificación LoC:QA76.758Recursos en línea: Libro electrónico
Contenidos:
En: Springer Nature eBookResumen: 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.
Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro Electrónico | Biblioteca Electrónica | Colección de Libros Electrónicos | 1 | No para préstamo |
Acceso multiusuario
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.
UABC ; Temporal ; 01/01/2021-12/31/2023.