Login / Signup

Regression verification of AADL models through slicing of system dependence graphs.

Andreas JohnsenKristina LundqvistPaul PetterssonKaj Hänninen
Published in: QoSA (2014)
Keyphrases