Active inference of EFSMs without reset

Michael Foster Roland Groz; Catherine Oriat; Adenilso da Silva Simão; Germán Vega; Neil Walkinshaw; International Conference on Formal Engineering Methods - ICFEM (24. 2023 Brisbane, Austrália)

Lecture Notes in Computer Science - LNCS Singapura : Springer v. 14308, p. 29-46, 2023

Singapura Springer 2023

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