A Model Driven Methodology for the Construction of Reliable Concurrent Software

Raúl N. N. Alborodo. A Model Driven Methodology for the Construction of Reliable Concurrent Software. PhD thesis, Technical University of Madrid, Spain, 2019. [doi]

Abstract

Abstract is missing.