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