Mohamed-Amine Belhaj Seboui (1) , Nejib Ben Hadj-Alouane (1) , Gwenael Delaval (2) , Eric Rutten (2) , Moez Yeddes (1)
July 2010
Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2010) (VECOS)
Verification and Evaluation of Computer and Communication Systems (VECoS 2010)
1-2 July 2010
Decentralized control synthesis techniques, Distributed Discrete event systems, Supervision and control, Reactive systems, Synchronous programing, Adaptive systems
This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/