VORTEX '23 : Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution : July 18, 2023 Seattle, WA, USA / / edited by Davide Ancona and Giorgio Audrito
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
VORTEX '23 : Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution : July 18, 2023 Seattle, WA, USA / / edited by Davide Ancona and Giorgio Audrito
|
| Pubblicazione: | New York, NY : , : Association for Computing Machinery, , 2023 |
| Descrizione fisica: | 1 online resource (20 pages) |
| Disciplina: | 005.14 |
| Soggetto topico: | Computer software - Verification |
| Distributed data processing | |
| Computer science | |
| Embedded computer systems | |
| Formal methods (Computer science) | |
| Persona (resp. second.): | AnconaDavide |
| AudritoGiorgio | |
| Note generali: | Includes index. |
| Sommario/riassunto: | Welcome to the 6th Workshop on Verification and Monitoring at Runtime Execution (VORTEX 2023), hosted in Seattle (WA), USA, July 18, 2023, co-located with ECOOP/ISSTA 2023. |
| Titolo autorizzato: | VORTEX '23 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910735595203321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |