Publicações

Runtime Verification of Autopilot Systems Using a Fragment of Mtl-

AuthID
P-00M-XQR

Author(s)

Pedro, AD

Pinto, JS

Pereira, D

Pinho, LM

Tipo de Documento

Article

Year published

2018

Publicado

in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, ISSN: 1433-2779

Volume: 20, Número: 4, Páginas: 379-395 (17)

Conference

Joint 21St International Workshop on Formal Methods for Industrial Critical Systems (Fmics) / 16Th International Workshop on Automated Verification of Critical Systems (Avocs), Date: SEP 26-28, 2016, Location: Pisa, ITALY, Patrocinadores: European Res Consortium Informat & Math, Formal Methods Europe, Springer Intl Publishing AG

Indexing