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.

Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT

Aymen Louati, Kamel Barkaoui, Chadlia Jerad. Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT. In Thouraya Bouabana-Tebibel, Stuart H. Rubin, editors, Formalisms for Reuse and Systems Integration. Volume 346 of Advances in Intelligent Systems and Computing, pages 133-147, Springer, 2015. [doi]

Authors

Aymen Louati

This author has not been identified. Look up 'Aymen Louati' in Google

Kamel Barkaoui

This author has not been identified. Look up 'Kamel Barkaoui' in Google

Chadlia Jerad

This author has not been identified. Look up 'Chadlia Jerad' in Google
runs on