Rafael Garlet de Oliveira

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Rafael Garlet de Oliveira, Gabriel H. R. Santos, Jean-Marie Farines, Leandro Buss Becker
Contributions to Improvement of the Formal Properties Verification Process in AADL Programs. SBESC (2011)