Loïc Thierry, Jason Jaskolka, Brahim Hamid, Jean-Paul Bodeveix. Specification and Verification of Communication Paradigms for CBSE in Event B. In 27th International Conference on Engineering of Complex Computer Systems, ICECCS 2023, Toulouse, France, June 14-16, 2023. pages 157-166, IEEE, 2023. [doi]
Abstract is missing.