Oussama Oulkaid

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Formal Semantics

Deduction Rules

Relational Data

Top Venues

Publications

Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving. DATE (2024)