José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)
José Proença
,
Markus Lumpe
January 2022
PDF
Cite
DOI
Type
Journal article
Publication
Science of Computer Programming, Elsevier
Related
Proceedings of FACS 2017
Secure integration of extremely resource-constrained nodes on distributed ROS2 applications
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
Cite
×