Rigorous development process of a safety-critical system: from ASM models to Java code
Crossref DOI link: https://doi.org/10.1007/s10009-015-0394-x
Published Online: 2015-08-04
Published Print: 2017-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Arcaini, Paolo
Gargantini, Angelo
Riccobene, Elvinia
Text and Data Mining valid from 2015-08-04