José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings
Silvia Lizeth Tapia Tarifa
,
José Proença
January 2022
PDF
Cite
DOI
Publication
Springer
Related
Secure integration of extremely resource-constrained nodes on distributed ROS2 applications
Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)
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
Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021
Cite
×