Implementation of Control Systems Using B Action Systems: A Case Study.

Pontus Boström Marina Waldén

Published in: Nord. J. Comput. (2004)

Keyphrases

control system
case study
efficient implementation
distributed systems
computer systems
computing systems
successful deployment
bayesian networks
expert systems
mobile robot
dynamic environments
complex systems