Urmăriți
Raúl Nestor Neri Alborodo
Raúl Nestor Neri Alborodo
IMDEA Software Institute
Adresă de e-mail confirmată pe babel.ls.fi.upm.es
Titlu
Citat de
Citat de
Anul
A testing-based approach to ensure the safety of shared resource concurrent systems
LÅ Fredlund, J Mariño, RNN Alborodo, Á Herranz
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of …, 2016
82016
Synthesis of verifiable concurrent Java components from formal models
J Mariño, RNN Alborodo, LÅ Fredlund, Á Herranz
Software & Systems Modeling 18 (1), 71-105, 2019
52019
Análisis modular y recuperación de contraejemplos en TACO
R Alborodo, N Ricci, JP Galeotti, NM Aguirre
XVII Congreso Argentino de Ciencias de la Computación, 2011
2011
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–3