Formal data flow diagrams (FDFD) : a petri-net based requirements specification language
Keyword(s):
2012 ◽
Vol 17
(3)
◽
pp. 43-49