Sciweavers

Share
BCS
2008

On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study

8 years 3 months ago
On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study
Chadlia Jerad, Kamel Barkaoui, Amel Grissa-Touzi
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2008
Where BCS
Authors Chadlia Jerad, Kamel Barkaoui, Amel Grissa-Touzi
Comments (0)
books