Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications

Thanh-Dat Nguyen, Yassine Ouhammou, Emmanuel Grolleau, Julien Forget, Claire Pagetti, Pascal Richard. Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications. In 2018 Design, Automation & Test in Europe Conference & Exhibition, DATE 2018, Dresden, Germany, March 19-23, 2018. pages 231-236, IEEE, 2018. [doi]

Authors

Thanh-Dat Nguyen

This author has not been identified. Look up 'Thanh-Dat Nguyen' in Google

Yassine Ouhammou

This author has not been identified. Look up 'Yassine Ouhammou' in Google

Emmanuel Grolleau

This author has not been identified. Look up 'Emmanuel Grolleau' in Google

Julien Forget

This author has not been identified. Look up 'Julien Forget' in Google

Claire Pagetti

This author has not been identified. Look up 'Claire Pagetti' in Google

Pascal Richard

This author has not been identified. Look up 'Pascal Richard' in Google