Login / Signup
Cristina Cerschi Seceleanu
ORCID
Publication Activity (10 Years)
Years Active: 2002-2017
Publications (10 Years): 2
Top Topics
Ambient Assisted Living
Formal Models
Embedded Systems
Timed Automata
Top Venues
ISoLA (2)
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
J. Log. Algebraic Methods Program.
COMPSAC Workshops
</>
Publications
</>