Login / Signup
Intelligible description language and its rapid verification method for design support of distributed sequential control systems.
Takaaki Nakasiba
Akitsugu Tsuchiya
Yoshitomo Ikkai
Norihisa Komoda
Yasuo Namioka
Published in:
ETFA (2) (2001)
Keyphrases
</>
description language
software architecture
verification method
control system
web services
case study
multi agent
specification language
computing environments
artificial intelligence
knowledge base
reinforcement learning
cooperative
distributed systems
semantic web technologies