Supremica - A Tool for Verification and Synthesis of Discrete Event Supervisors
Paper i proceeding, 2003

Författare

Knut Åkesson

Chalmers, Signaler och system, Reglerteknik och automation

Martin Fabian

Chalmers, Signaler och system, Reglerteknik och automation

Hugo Flordal

Chalmers, Signaler och system, Reglerteknik och automation

Arash Vahidi Mazinani

Chalmers, Signaler och system, Reglerteknik och automation

Proc. of the 11th Mediterranean Conference on Control and Automation, Rhodos, Greece

Ämneskategorier

Data- och informationsvetenskap