External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Synchronous AADL and Its Formal Analysis in Real-Time Maude

Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer. Synchronous AADL and Its Formal Analysis in Real-Time Maude. In Shengchao Qin, Zongyan Qiu, editors, Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings. Volume 6991 of Lecture Notes in Computer Science, pages 651-667, Springer, 2011. [doi]

Authors

Kyungmin Bae

This author has not been identified. Look up 'Kyungmin Bae' in Google

Peter Csaba Ölveczky

This author has not been identified. It may be one of the following persons: Look up 'Peter Csaba Ölveczky' in Google

Abdullah Al-Nayeem

This author has not been identified. Look up 'Abdullah Al-Nayeem' in Google

José Meseguer

This author has not been identified. It may be one of the following persons: Look up 'José Meseguer' in Google
runs on