![](/img/cover-not-exists.png)
Reuse of formal specifications in Embedded systems design
Miroslav, SvedaVolume:
39
Language:
english
Journal:
IFAC Proceedings Volumes
DOI:
10.1016/s1474-6670(17)30162-3
Date:
February, 2006
File:
PDF, 6.87 MB
english, 2006