Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$ ∫
de Matos Pedro, André, Pinto, Jorge Sousa, Pereira, David, Pinho, Luís MiguelLanguage:
english
Journal:
International Journal on Software Tools for Technology Transfer
DOI:
10.1007/s10009-017-0470-5
Date:
August, 2017
File:
PDF, 1.08 MB
english, 2017