Login / Signup
Paulo Claudino Véras
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Development Projects
Formal Specification
Alternating Time Temporal Logic
Model Checking
Top Venues
Empir. Softw. Eng.
</>
Publications
</>
Rodrigo Pastl Pontes
,
Paulo Claudino Véras
,
Ana Maria Ambrosio
,
Emília Villani
Contributions of model checking and CoFI methodology to the development of space embedded software.
Empir. Softw. Eng.
19 (1) (2014)