Inês Gouveia

From Navigators

Jump to: navigation, search
Past member
Inês Gouveia is no longer with the Navigators.
Inês Gouveia

 

Projects

Current projects

  • COST Action IC1402 (Runtime Verification Beyond Monitoring)
  • NORTH (Non-intrusive Observation and RunTime verification of cyber-pHysical systems)

Past projects

  • READAPT (Reconfigurability and Adaptability in Safe and Secure Multicore Architectures for Mixed-Criticality Applications)


Publications

BibTeX

Navigators - Inês Gouveia
Personal tools
Navigators toolbox