팔로우
Raúl Nestor Neri Alborodo
Raúl Nestor Neri Alborodo
IMDEA Software Institute
babel.ls.fi.upm.es의 이메일 확인됨
제목
인용
인용
연도
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–3