Combining Formal Methods and Mde Techniques for Model-Driven System Design and Analysis (0)

by Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
Venue:Journal On Advances in Software