Items where authors include "Oriat, C."

Export as [feed] Atom [feed] RSS
Number of items: 2.

Proceedings Paper

Foster, M. orcid.org/0000-0001-8233-9873, Groz, R. orcid.org/0000-0003-3730-8300, Oriat, C. orcid.org/0000-0002-5674-0855 et al. (3 more authors) (2023) Active inference of EFSMs without reset. In: Li, Y. and Tahar, S., (eds.) Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings. 24th International Conference on Formal Engineering Methods, ICFEM 2023, 21-24 Nov 2023, Brisbane, QLD, Australia. Lecture Notes in Computer Science, LNCS 14308 . Springer Singapore , pp. 29-46. ISBN 9789819975839

Groz, R., Oriat, C., Vega, G. et al. (3 more authors) (2023) Active inference of extended finite state models of software systems. In: Proceedings of Machine Learning Research. International Conference on Grammatical Inference, 10-13 Jul 2023, Rabat, Morocco. Proceedings of Machine Learning Research , pp. 265-269.

This list was generated on Sun Apr 28 10:53:28 2024 BST.