![](/img/cover-not-exists.png)
Rigorous development process of a safety-critical system: from ASM models to Java code
Arcaini, Paolo, Gargantini, Angelo, Riccobene, ElviniaVolume:
19
Language:
english
Journal:
International Journal on Software Tools for Technology Transfer
DOI:
10.1007/s10009-015-0394-x
Date:
April, 2017
File:
PDF, 2.65 MB
english, 2017