Keyword : validator

Specification and Validation of a Dynamically Reconfigurable System
Kaoru TAKAHASHI Toshihiko ANDO Toshihisa KANO Goichi ITABASHI Yasushi KATO 
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)
distributed concurrent systemsdynamically reconfigurable systems formal specificationformal validationcommunicating finite state machines simulatorvalidator
 Summary | Full Text:PDF(1003.7KB)