Fingerprint
Dive into the research topics of 'The synchAADL2Maude tool'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
The synchAADL2Maude tool
Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution