Schaefer I., Ter Beek M. H. Formal methods and analyses in software product line engineering (Track Summary). In: ISoLA 2014 - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. 6th International Symposium (Corfu, Greece, 8-11 October 2014). Proceedings, vol. I pp. 253 - 256. Tiziana Margaria, Bernhard Steffen (eds.). (Lecture Notes in Computer Science, vol. 8802). Springer, 2014. |
Abstract (English) |
Track Summary | |
URL: | http://link.springer.com/chapter/10.1007%2F978-3-662-45234-9_18 | |
DOI: | 10.1007/978-3-662-45234-9_18 | |
Subject | Formal methods Analysis techniques Software Product Line Engineering Formal modeling Formal analysis Testing Verification D.2.2 Design Tools and Techniques D.2.4 Software/Program Verification. Formal methods D.2.4 Software/Program Verification. Model checking D.2.4 Software/Program Verification. Validation D.2.5 Testing and Debugging |
![]() |


