Verifying end-to-end real-time constraints on multi-periodic models

Julien Forget, Frédéric Boniol, Claire Pagetti. Verifying end-to-end real-time constraints on multi-periodic models. In 22nd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2017, Limassol, Cyprus, September 12-15, 2017. pages 1-8, IEEE, 2017. [doi]

Authors

Julien Forget

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

Frédéric Boniol

This author has not been identified. Look up 'Frédéric Boniol' in Google

Claire Pagetti

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