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.

Formal Verification of Transactional Systems Based on UML Specifications

Mark A. J. Song, Adriano M. Pereira, Sérgio Vale Aguiar Campos, Luis E. Zárate. Formal Verification of Transactional Systems Based on UML Specifications. In William C. Chu, Natalia Juristo Juzgado, W. Eric Wong, editors, Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005), Taipei, Taiwan, Republic of China, July 14-16, 2005. pages 199-204, 2005.

Authors

Mark A. J. Song

This author has not been identified. Look up 'Mark A. J. Song' in Google

Adriano M. Pereira

This author has not been identified. Look up 'Adriano M. Pereira' in Google

Sérgio Vale Aguiar Campos

This author has not been identified. Look up 'Sérgio Vale Aguiar Campos' in Google

Luis E. Zárate

This author has not been identified. Look up 'Luis E. Zárate' in Google
runs on