The synchAADL2Maude tool

Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'The synchAADL2Maude tool'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science