Validated test models for software product lines featured finite state machines
Vanderson Hafemann Fragal Adenilso da Silva Simão; Mohammad Reza Mousavi; International Conference Formal Aspects of Component Software - FACS (13. 2016 Besançon, France)
Lecture Notes in Computer Science (LNCS) Cham, SZ : Springer v. 10533, p. 210-227, 2017Cham, SZ Springer 2017
Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2893111 )(Acessar)