Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
Active inference of extended finite state models of software systemsRoland Groz Catherine Oriat; Germán Vega; Adenilso da Silva Simão; Michael Foster; Neil Walkinshaw; International Conference on Grammatical Inference - ICGI (16. 2023 Rabat, Morocco)Proceedings of Machine Learning Research - PMLR Brookline : Microtome Publishing v. 217, p. 265-269, 2023Brookline Microtome Publishing 2023Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Artigo de Congresso
|
Active inference of EFSMs without resetMichael 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, 2023Singapura Springer 2023Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-3184799 )(Acessar) |