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, 2017

Cham, SZ Springer 2017

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2893111 )(Acessar)