Nicolas Méric

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Semantic Mapping

Precisely Defined

Robotic Manipulator

Top Venues

Arch. Formal Proofs

Publications

Achim D. Brucker, Nicolas Méric, Burkhart Wolff
Isabelle/DOF. Arch. Formal Proofs 2024 (2024)
Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff
Using Deep Ontologies in Formal Software Engineering. ABZ (2023)