Cite
MLA Citation
Edward Huang et al.. “Verifying SysML activity diagrams using formal transformation to Petri nets.” Systems engineering, vol. 23, no. 1, 2020, pp. 118–135. http://access.bl.uk/ark:/81055/vdc_100098774654.0x000025
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Edward Huang et al.. “Verifying SysML activity diagrams using formal transformation to Petri nets.” Systems engineering, vol. 23, no. 1, 2020, pp. 118–135. http://access.bl.uk/ark:/81055/vdc_100098774654.0x000025