Reference author: Akramul Azim

First name
Last name
Fischmeister, S. ., & Azim, A. . (2010). Design Choices for High-Confidence Distributed Real-time Software. Proc. Of the International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 327-342. Heraclion, Crete, Greece. (Original work published 2024)
Oliveira, A. ., Azim, A. ., Fischmeister, S. ., Marau, R. ., & Almeida, L. . (2014). D-RES: Correct Transitive Distributed Service Sharing. Proc. Of the Work-in-Progress Session of the Conference on Emerging Technologies and Factory Automation (ETFA), Work in Progress. Presented at the. Barcelona, Spain.