![](/img/cover-not-exists.png)
Supporting UML-based development of embedded systems by formal techniques
Jozef Hooman, Hillel Kugler, Iulian Ober, Anjelika Votintseva, Yuri YushteinVolume:
7
Language:
english
Pages:
25
DOI:
10.1007/s10270-006-0043-7
Date:
May, 2008
File:
PDF, 896 KB
english, 2008