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