Synthesis of verifiable concurrent Java components from formal models. - Julio Mariño; Raúl N. N. Alborodo; Lars-Åke Fredlund; Ángel Herranz-Nieva (Softw. Syst. Model., 2019)

A Model Driven Methodology for the Construction of Reliable Concurrent Software. - Raúl N. N. Alborodo (2019)