Supporting the Design of Safety Critical Systems Using AADL.

T. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Franois Vernadat

Browse the full ICECCS paper archive.