![](/img/cover-not-exists.png)
A formal model of composing components: the TLA+ approach
Rysavy, Ondrej, Rab, JaroslavLanguage:
english
Journal:
Innovations in Systems and Software Engineering
DOI:
10.1007/s11334-009-0087-2
Date:
May, 2009
File:
PDF, 739 KB
english, 2009