A survey of challenges for runtime verification from advanced application domains (beyond software)

Open access funding provided by University of Gothenburg. This research has been supported by the European ICT COST Action IC1402 Runtime Verification beyond Monitoring (ARVI).

Detalhes bibliográficos
Autor principal:	Sánchez, César (author)
Outros Autores:	Schneider, Gerardo (author), Ahrendt, Wolfgang (author), Bartocci, Ezio (author), Bianculli, Domenico (author), Colombo, Christian (author), Falcone, Yliès (author), Francalanza, Adrian (author), Krstić, Srđan (author), Lourenço, Joa̋o M. (author), Nickovic, Dejan (author), Pace, Gordon J. (author), Rufino, José (author), Signoles, Julien (author), Traytel, Dmitriy (author), Weiss, Alexander (author)
Formato:	article
Idioma:	eng
Publicado em:	2021
Assuntos:	Computer science Formal methods Formal verification Runtime verification Software Theoretical Computer Science Hardware and Architecture
Texto completo:	http://hdl.handle.net/10362/118499
País:	Portugal
Oai:	oai:run.unl.pt:10362/118499

Texto Completo

http://hdl.handle.net/10362/118499