José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Tags
Lince
Compositional semantics
Coordination
Real-time OS
Timed automata
Uppaal
TRUST
Lightkone
QUARP
Reactive Programming
«
»
Cite
×