A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems.

Christophe Aussagus, Vincent David

Browse the full ICECCS paper archive.