Abou El Hassen

Publication Activity (10 Years)

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

Top Topics

First Order Logic

Theorem Proving

Transformation Rules

Top Venues

Publications

Karima Berramla, El Abbassia Deba, Mohamed El Kamel, Abou El Hassen
Semi-Automatic Generation of Transformation Rules: From AADL to Timed Automata. NISS (2019)