Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/11/25
Vol. E78-A
No. 11 ;
pp. 1468-1478
Type of Manuscript:
Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design)
Category:
Keyword:
system requirement, formal specification, state transition, Petri Net, verification, refinement, |
