Login / Signup
Jean-Luc Béchennec
ORCID
Publication Activity (10 Years)
Years Active: 1987-2024
Publications (10 Years): 21
Top Topics
Sequence Diagrams
Embedded Software
Formal Verification
Petri Net
Top Venues
RTNS
ACM Trans. Embed. Comput. Syst.
Discret. Event Dyn. Syst.
CoDIT
</>
Publications
</>