Travelled to:1 × France
Collaborated with:A.Johnsen K.Lundqvist P.Pettersson Martin Torelm
Talks about:system (2) model (2) aadl (2) architectur (1) framework (1) regress (1) qualiti (1) depend (1) verif (1) slice (1)
Person: Kaj Hänninen
DBLP: H=auml=nninen:Kaj
Contributed to:
20142016Wrote 2 papers:
- QoSA-2014-JohnsenLPH #dependence #graph #modelling #slicing #verification
- Regression verification of AADL models through slicing of system dependence graphs (AJ, KL, PP, KH), pp. 103–112.
- QoSA-2016-JohnsenLHPT #architecture #assurance #framework #named #quality
- AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL (AJ, KL, KH, PP, MT), pp. 31–40.