José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021
José Proença
,
Andrei Paskevich
January 2021
PDF
Cite
DOI
Related
Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)
Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems
Cite
×