Login / Signup
Jean-Louis Colaço
ORCID
Publication Activity (10 Years)
Years Active: 2002-2023
Publications (10 Years): 7
Top Topics
State Machines
Discrete Event
Formal Language
Hybrid Systems
Top Venues
ACM Trans. Embed. Comput. Syst.
REBLS@SPLASH
ARRAY@PLDI
FDL
</>
Publications
</>