If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Paper
Open Access
File
116 Downloads (Pure)

Formalisation et Construction d’une Ontologie dans le Domaine des Infections Orthopédiques

Translated title of the contribution: Formalization and construction of an ontology in the field of orthopedic infectionsDe Nizza, D., Ortiz, J., Meurisse, H. & Schobbens, P. Y., 1 Jan 2013.

Research output: Contribution to conferencePaper

Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda

Ortiz Vega, J. J., Perrouin, G., Amrani, M. & Schobbens, P-Y., 2 Aug 2018, p. 325-332. 8 p.

Research output: Contribution to conferencePaper

Open Access
File
26 Downloads (Pure)

ProVeLines: A Product Line of Verifiers for Software Product Lines

Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., Aug 2013, p. 141 - 146. 6 p.

Research output: Contribution to conferencePaper