| 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 | |
 1)
Download Document PDF |
Open access Restricted 
Private