José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Sina Borrami
Latest
Spreadsheet-based Configuration of Families of Real-Time Specifications
Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
Cite
×