Contributions of model checking and CoFI methodology to the development of space embedded software

List of files deposited in:

sid.inpe.br/mtc-m19/2012/08.15.16.22

Name Last modified Size
download
 :: fulltext.pdf
15/08/2012 13:25 592.9 KiB 
2 hidden files