Contributions of model checking and CoFI methodology to the development of space embedded software
Pontes, Rodrigo Pastl, Véras, Paulo Claudino, Ambrosio, Ana Maria, Villani, EmíliaVolume:
19
Langue:
english
Journal:
Empirical Software Engineering
DOI:
10.1007/s10664-012-9215-y
Date:
February, 2014
Fichier:
PDF, 640 KB
english, 2014