A formal verification tool for UML behavioral diagrams
List of files deposited in:
sid.inpe.br/mtc-m21b/2014/11.18.23.57.53
Name
Last modified
Size
download
::
formal verification.pdf
15/06/2015 09:31
746.5 KiB
2 hidden files