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

Författare

[Person 496e7c61-e953-4920-9417-4d6f9155d683 not found]

Chalmers, Signaler och system, Reglerteknik och automation

[Person 58ff4dd6-78a5-4457-a143-8eac84f33d6d not found]

Chalmers, Signaler och system, Reglerteknik och automation

[Person ea6c0a84-9389-4ab7-a645-9662809bc301 not found]

Chalmers, Signaler och system, Reglerteknik och automation

[Person 3acc2528-b465-4565-addd-f8dd81783664 not found]

Chalmers, Signaler och system, Reglerteknik och automation

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

Ämneskategorier

Data- och informationsvetenskap

Mer information

Skapat

2017-10-07