José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Proceedings of F-IDE@FM 2019
Rosemary Monahan
,
Virgile Prevosto
,
José Proença
January 2019
Cite
Project
DOI
Type
Book
Publication
Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019
DaVinci
Related
Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems
Hubs for VirtuosoNext: Online verification of real-time coordinators
Implementing Hybrid Semantics: From Functional to Imperative
Verification of Real-Time Coordination in VirtuosoNext (extended version)
Taming Hierarchical Connectors
Cite
×