Supremica - An Integrated Environment for Verification, Synthesis and Simulation of Discrete Event Systems
Conference contribution, 2006

Author

Knut Åkesson

Chalmers, Signals and Systems, Systems and control, Automation

Martin Fabian

Chalmers, Signals and Systems, Systems and control, Automation

Hugo Flordal

Chalmers, Signals and Systems, Systems and control, Automation

Robi Malik

Proceeding os the 8th Workshop on Discrete Event Systems (WODES'06), Ann Arbor, MI, USA

384-385

Subject Categories

Control Engineering

More information

Created

10/8/2017