Login / Signup
Enrique Martínez
Publication Activity (10 Years)
Years Active: 2008-2014
Publications (10 Years): 0
Top Topics
Formal Verification
Reactive Systems
High Security
Conceptual Model
Top Venues
Simul.
IEEE Trans. Software Eng.
</>
Publications
</>