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.

StateML:::+s:::: From Graphical State Machine Models to Thread-Safe Ada Code

Diego Alonso, Cristina Vicente-Chicote, Juan A. Pastor, Bárbara Álvarez. StateML:::+s:::: From Graphical State Machine Models to Thread-Safe Ada Code. In Fabrice Kordon, Tullio Vardanega, editors, Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings. Volume 5026 of Lecture Notes in Computer Science, pages 158-170, Springer, 2008. [doi]

Authors

Diego Alonso

This author has not been identified. Look up 'Diego Alonso' in Google

Cristina Vicente-Chicote

This author has not been identified. Look up 'Cristina Vicente-Chicote' in Google

Juan A. Pastor

This author has not been identified. Look up 'Juan A. Pastor' in Google

Bárbara Álvarez

This author has not been identified. Look up 'Bárbara Álvarez' in Google
runs on