On derivation of Petri net quantitative models from UML software system specifications

TitleOn derivation of Petri net quantitative models from UML software system specifications
Publication TypeReport
Year of Publication2005
AuthorsBernardi, S, Donatelli S, Merseguer J
Export