Close
Towards a wide acceptance of formal methods to the design of safety critical software: an approach based on UML and model checking

List of files deposited in:

sid.inpe.br/plutao/2015/12.04.14.22

Name Last modified Size
download
 :: eras_towards.pdf
14/09/2020 12:03 1.3 MiB
2 hidden files

Close