Supremica - An Integrated Environment for Verification, Synthesis and Simulation of Discrete Event Systems
Övrigt konferensbidrag, 2006
Författare
Knut Åkesson
Chalmers, Signaler och system, System- och reglerteknik
Martin Fabian
Chalmers, Signaler och system, System- och reglerteknik
Hugo Flordal
Chalmers, Signaler och system, System- och reglerteknik
Robi Malik
Proceeding os the 8th Workshop on Discrete Event Systems (WODES'06), Ann Arbor, MI, USA
384-385
Ämneskategorier
Reglerteknik