Modular verification and synthesis of discrete event systems : with application to coordination of industrial robots
Licentiate thesis, 2004
Author
Hugo Flordal
Chalmers, Signals and Systems, Control and Automation Laboratory
Subject Categories
Electrical Engineering, Electronic Engineering, Information Engineering
Technical report L - School of Electrical Engineering, Chalmers University of Technology.: 512