Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A
No. 4 ;
pp. 556-565
Type of Manuscript:
Special Section PAPER (Special Section on Concurrent Systems Technology)
Category:
Keyword:
distributed concurrent systems, dynamically reconfigurable systems, formal specification, formal validation, communicating finite state machines, simulator, validator, |