Supremica - An Integrated Environment for Verification, Synthesis and Simulation of Discrete Event Systems
Other conference contribution, 2006
Author
Knut Åkesson
Chalmers, Signals and Systems, Systems and control
Martin Fabian
Chalmers, Signals and Systems, Systems and control
Hugo Flordal
Chalmers, Signals and Systems, Systems and control
Robi Malik
Proceeding os the 8th Workshop on Discrete Event Systems (WODES'06), Ann Arbor, MI, USA
384-385
Subject Categories
Control Engineering