Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES).

Smail Rahmoun, Etienne Borde, Laurent Pautet

Browse the full ICECCS paper archive.