Search

Your search keyword '"Matos Pedro, André"' showing total 17 results

Search Constraints

Start Over You searched for: Author "Matos Pedro, André" Remove constraint Author: "Matos Pedro, André"
17 results on '"Matos Pedro, André"'

Search Results

2. Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers

5. Monitoring for a Decidable Fragment of MTL-

6. Towards a Runtime Verification Framework for the Ada Programming Language

7. A Compositional Monitoring Framework for Hard Real-Time Systems

8. Learning Stochastic Timed Automata from Sample Executions

17. Implementation of Task Types in AVR-Ada.

Catalog

Books, media, physical & digital resources