![](/img/cover-not-exists.png)
Generating Maude formal specifications from AUML diagrams
Mokhati, Farid, Boudiaf, Noura, Badri, Linda, Badri, Mourad, Debnath, Narayan C.Volume:
6
Language:
english
Journal:
Journal of Computational Methods in Sciences and Engineering
DOI:
10.3233/JCM-2006-6S107
Date:
April, 2007
File:
PDF, 139 KB
english, 2007