Smail Rahmoun, Etienne Borde, Laurent Pautet. Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES). In 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015. pages 21-30, IEEE, 2015. [doi]
Abstract is missing.