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

Julien Forget, Frdric Boniol, Claire Pagetti

Browse the full ETFA paper archive.