Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Omer Nguena Timo

Runtime Enforcement of Timed Properties Revisited

Formal Methods in System Design

Theoretical Computer Science

English