%0 Conference Paper %1 conf/qosa/JohnsenLPH14 %A Johnsen, Andreas %A Lundqvist, Kristina %A Pettersson, Paul %A Hänninen, Kaj %B QoSA %D 2014 %E Seinturier, Lionel %E Bures, Tomás %E McGregor, John D. %I ACM %K dblp %P 103-112 %T Regression verification of AADL models through slicing of system dependence graphs. %U http://dblp.uni-trier.de/db/conf/qosa/qosa2014.html#JohnsenLPH14 %@ 978-1-4503-2576-9

@inproceedings{conf/qosa/JohnsenLPH14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Johnsen, Andreas and Lundqvist, Kristina and Pettersson, Paul and Hänninen, Kaj}, biburl = {https://www.bibsonomy.org/bibtex/2720d758cd716303ad6e43813a872cf70/dblp}, booktitle = {QoSA}, crossref = {conf/qosa/2014}, editor = {Seinturier, Lionel and Bures, Tomás and McGregor, John D.}, ee = {https://doi.org/10.1145/2602576.2602589}, interhash = {e81a40c001d399fa1c3bef3dd9bd2c8f}, intrahash = {720d758cd716303ad6e43813a872cf70}, isbn = {978-1-4503-2576-9}, keywords = {dblp}, pages = {103-112}, publisher = {ACM}, timestamp = {2018-11-07T16:28:44.000+0100}, title = {Regression verification of AADL models through slicing of system dependence graphs.}, url = {http://dblp.uni-trier.de/db/conf/qosa/qosa2014.html#JohnsenLPH14}, year = 2014 }