[go: up one dir, main page]

"Verifying SysML activity diagrams using formal transformation to Petri nets."

Edward Huang, Leon F. McGinnis, Steven W. Mitchell (2020)

Details and statistics

DOI: 10.1002/SYS.21524

access: closed

type: Journal Article

metadata version: 2020-05-10