Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Applied Mathematics,Artificial Intelligence,Computational Theory and Mathematics,Computer Networks and Communications,Computer Science Applications,Information Systems
Reference24 articles.
1. Baier C, Katoen J (2008) Principles of model checking. MIT Press, USA
2. Ceska M, Dehnert C, Jansen N (2019) Model repair revamped—on the automated synthesis of Markov chains. In: Essays dedicated to Scott A. Smolka on the occasion of his 65th birthday. LNCS vol 11500. Springer, pp 107–125. https://doi.org/10.1007/978-3-030-31514-6_7
3. Classen A, Cordy M, Heymans P et al (2012) Model checking software product lines with SNIP. STTT 14(5):589–612. https://doi.org/10.1007/s10009-012-0234-1
4. Clements P, Northrop L (2001) Software product lines: practices and patterns. Addison-Wesley, Boston
5. Cordy M, Schobbens P, Heymans P et al (2013) Beyond Boolean product-line model checking: dealing with feature attributes and multi-features. In: 35th International conference on software engineering, ICSE ’13. IEEE Computer Society, pp 472–481. https://doi.org/10.1109/ICSE.2013.6606593