Supremica - An Integrated Environment for Verification, Synthesis and Simulation of Discrete Event Systems
Konferensbidrag (offentliggjort, men ej förlagsutgivet), 2006

Författare

Knut Åkesson

Chalmers, Signaler och system, System- och reglerteknik, Automation

Martin Fabian

Chalmers, Signaler och system, System- och reglerteknik, Automation

Hugo Flordal

Chalmers, Signaler och system, System- och reglerteknik, Automation

Robi Malik

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

384-385

Ämneskategorier

Reglerteknik

Mer information

Skapat

2017-10-08