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

Elektroteknik och elektronik

Technical report L - School of Electrical Engineering, Chalmers University of Technology.: 512