Login / Signup
Christine Choppy
Publication Activity (10 Years)
Years Active: 1984-2024
Publications (10 Years): 4
Top Topics
State Machine
Sequence Diagrams
Petri Net
Automated Verification
Top Venues
KSE
Software, Services, and Systems
CoRR
Formal Aspects Comput.
</>
Publications
</>