[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 10231 || Validated Test Models for Software Product Lines: Featured Finite State Machines
Kouchnarenko, Olga; Khosravi, Ramtin
- 作者Kouchnarenko, Olga; Khosravi, Ramtin
- 文件大小487.50KB
- 发表时间2017
- DOI10.1007/978-3-319-57666-4_13
- 页码210-227