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

Browse the full DATE paper archive.