Funding Data Link References Status API Help
Page 1 of 2 results
Sort by: relevance publication year

Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops

Journal Article published 29 Apr 2017 in Journal of Logic and Computation volume 27 issue 8 on pages 2525 to 2549

Authors: Stefano Aguzzoli, Tommaso Flaminio, Sara Ugolini

Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$ ∫

Journal Article published 21 Aug 2017 in International Journal on Software Tools for Technology Transfer volume 20 issue 4 on pages 379 to 395

Authors: André de Matos Pedro, Jorge Sousa Pinto, David Pereira, Luís Miguel Pinho