Vérification semi-automatisée pour la conception de systèmes complexes critiquesSOLAR-FU Second Order Logic And Reasoning For Unification. (Semi-automated verification for the design of complex critical systemsSOLAR-FU Second Order Logic And Reasoning For Unification).

David Camarazo David Camarazo Vérification semi-automatisée pour la conception de systèmes complexes critiquesSOLAR-FU Second Order Logic And Reasoning For Unification. (Semi-automated verification for the design of complex critical systemsSOLAR-FU Second Order Logic And Reasoning For Unification). 2025 University of Burgundy Europe, France https://tel.archives-ouvertes.fr/tel-05565329 David Camarazo Mohammed Lalou Ana Roxin SOLAR-FU : Raisonner avec des règles logiques du second ordre dans une unification de bases de connaissances. 103-112 2025 IC https://hal.science/hal-05189813v2/document conf/f-ic/2025 db/conf/f-ic/ic2025.html#CamarazoLR25 David Camarazo Ana Roxin Mohammed Lalou Railway Systems' Ontologies: A Literature Review and an Alignment Proposal. 311-319 2024 iiWAS (1) https://doi.org/10.1007/978-3-031-78090-5_27 conf/iiwas/2024-1 db/conf/iiwas/iiwas2024-1.html#CamarazoRL24 streams/conf/iiwas Mohammed Lalou Ana Roxin