[ACM Press the 10th international ACM Sigsoft conference - Marcq-en-Bareul, France (2014.06.30-2014.07.04)] Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures - QoSA '14 - Regression verification of AADL models through slicing of system dependence graphs
Johnsen, Andreas, Lundqvist, Kristina, Pettersson, Paul, Hänninen, KajYear:
2014
Language:
english
DOI:
10.1145/2602576.2602589
File:
PDF, 1.00 MB
english, 2014