![](/img/cover-not-exists.png)
Formal specification and verification of reusable communication models for distributed systems architecture
Rouland, Quentin, Hamid, Brahim, Jaskolka, JasonLanguage:
english
Journal:
Future Generation Computer Systems
DOI:
10.1016/j.future.2020.02.033
Date:
February, 2020
File:
PDF, 2.03 MB
english, 2020