Eric Brunel

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 1

Top Topics

Pspace Complete

Computation Tree Logic

Transition Systems

Top Venues

MoDELS (Companion)

Publications

Emmanuel Gaudin, Eric Brunel, Mihal Brumbulli
Language Agnostic Model Checking for SDL. MoDELS (Companion) (2023)
Emmanuel Gaudin, Eric Brunel
Property Verification with MSC. SDL Forum (2013)
Christine Collet, Eric Brunel
A Form System for an Object-Oriented Database System. DEXA (1991)
Christine Collet, Eric Brunel
Definition and Manipulation of Forms with FO2. VDB (1991)