Towards Model-Based Optimisations of Real-Time Systems, an Application with the AADL.

Olivier Gilles, Jrme Hugues

Browse the full RTCSA paper archive.