Synchronous AADL and Its Formal Analysis in Real-Time Maude.

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

Browse the full ICFEM paper archive.