Published
Automatique
Coupling timed plant and controller models with urgent transitions without introducing deadlocks
Published on - 17th IEEE international conference on Emerging Technologies on Factory Automation
Automatique
Published on - 17th IEEE international conference on Emerging Technologies on Factory Automation