Author:
Nummenmaa Jyrki,Nummenmaa Timo,Zhang Zheying
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Aaltonen T, Katara M, Pitkänen R (2001) Disco toolset—the new generation. J Univ Comput Sci 7(1):3–18
2. Batory D (2005) Feature models, grammars, and propositional formulas. In: Proceedings of the 9th international conference on Software Product Lines, SPLC’05, 2005. Springer, Berlin, pp 7–20
3. Benavides D, Segura S, Ruiz-Cortés A (2010) Automated analysis of feature models 20 years later: a literature review. Inf Syst 35(6):615–636
4. Cheung SC, Giannakopoulou D, Kramer J (1997) Verification of liveness properties using compositional reachability analysis. In: Proceedings of the 6th European software engineering conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering, ESEC ’97/FSE-5. Springer, New York, pp 227–243
5. Diller A (1990) Z: an introduction to formal methods. Wiley, Chichester