Raúl N. N. Alborodo

Orcid: 0000-0001-7688-1447

According to our database¹, Raúl N. N. Alborodo authored at least 2 papers in 2019.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2019

A Model Driven Methodology for the Construction of Reliable Concurrent Software.

[DOI]

PhD thesis, 2019

Synthesis of verifiable concurrent Java components from formal models.

[DOI]

Softw. Syst. Model., 2019