DMCA

Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis

by Angelo Gargantini , Elvinia Riccobene , Patrizia Sc
Citations:2 - 1 self