Article,

State Machine Specification with Reusability

, , , , and .
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, 87 (11): 2885--2894 (2004)

Meta data

Tags

Users

  • @leonardo

Comments and Reviews