SAwUML – UML-based, contractual software architectures and their formal analysis using SPIN

Autor:	Ozkaya, Mert, Kose, Mehmet Alp
Zdroj:	In Computer Languages, Systems & Structures December 2018 54:71-94
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect