Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Busquim, Rovedy
4  Ergebnisse:
Personensuche X
?
1

Software Architecture for Redundant Computing Platform Embe..:

Burgareli, Luciana ; Arai, Nanci ; Busquim, Rovedy...
IEEE Latin America Transactions.  21 (2023)  7 - p. 775-782 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Exploring Frama-C Resources by Verifying Space Software:

, In: Guide to Software Verification with Frama-C; Computer Science Foundations and Applied Logic,
Busquim e Silva, Rovedy Aparecida ; Arai, Nanci Naomi ; Burgareli, Luciana Akemi.. - p. 583-615 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Using abstract interpretation to produce dependable aerospa..:

Silva, Rovedy Aparecida Busquim e ; Arai, Nanci Naomi ; Burgareli, Luciana Akemi..
R. A. B. e Silva, N. N. Arai, L. A. Burgareli, J. M. P. Oliveira, and J. S. Pinto. Using Abstract Interpretation to Produce Dependable Aerospace Control Software. In Industrial Track of the 6th. Latin American Symposium on Dependable Computing (LADC'13), 2013.  , 2013
Link: http://hdl.handle.net/18..
 
?
4

A case study on model checking and deductive verification t..:

Silva, Rovedy Aparecida Busquim e ; Oliveira, José Manuel Parente de ; Pinto, Jorge Sousa
R. Silva, J. M. P. Oliveira, and J. S. Pinto. A Case Study on Model Checking and Deductive Verification Techniques of Safety-Critical Software (short paper). In SBMF'12 - Simpósio Brasileiro de Métodos Formais, 2012..  , 2012
Link: http://hdl.handle.net/18..
 
1-4