Functional validation of AADL models via model transformation to SystemC with ATL.

Pierre Bomel, Dominique Blouin, Mickael Lanoe, Eric Senn

Browse the full MODELS paper archive.