External Links

Cite Key

Statistics

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

PDF

Tags

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.

Checking the Correspondence between UML Models and Implementation

Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit. Checking the Correspondence between UML Models and Implementation. In Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, editors, Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Volume 6418 of Lecture Notes in Computer Science, pages 198-213, Springer, 2010. [doi]

Authors

Selim Ciraci

This author has not been identified. Look up 'Selim Ciraci' in Google

Somayeh Malakuti

This author has not been identified. Look up 'Somayeh Malakuti' in Google

Shmuel Katz

This author has not been identified. Look up 'Shmuel Katz' in Google

Mehmet Aksit

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