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

Research Output 1986 2019

Filter
Paper
2013

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

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

Model checking
Mathematical models
Formal verification
2018
17 Downloads (Pure)

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
Taxonomies
Testing
Specifications
Costs
2019
91 Downloads (Pure)
Open Access
File