Work

MARS: Safely Instrumenting Runtime Monitors in Real-Time Resource-Constrained Distributed Systems

Year: 2024

Type: conference-paper

Source: 2022 IEEE 20th International Conference on Industrial Informatics (INDIN)

DOI: 10.1109/indin58382.2024.10774432

Authors: Giann Spilere Nandi, David Pereira, José Proença, Eduardo Tovar

Institutions: Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Universidade Técnica do Porto

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4405306058

FWCI:

Cites: 36

Cited by:

Related to: 10