The SynchAADL2Maude Tool

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-28872-2_4 ◽

2012 ◽

pp. 59-62 ◽

Cited By ~ 5

Author(s):

Kyungmin Bae ◽

Peter Csaba Ölveczky ◽

José Meseguer ◽

Abdullah Al-Nayeem

Download Full-text