Modular verification and synthesis of discrete event systems : with application to coordination of industrial robots
Licentiatavhandling, 2004
Författare
Hugo Flordal
Chalmers, Signaler och system, Reglerteknik och automation
Ämneskategorier (SSIF 2011)
Elektroteknik och elektronik
Technical report L - School of Electrical Engineering, Chalmers University of Technology.: 512