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.

ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics

Matteo Pradella, Matteo Rossi, Dino Mandrioli. ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. In Farn Wang, editor, Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings. Volume 3731 of Lecture Notes in Computer Science, pages 381-395, Springer, 2005. [doi]

Authors

Matteo Pradella

This author has not been identified. Look up 'Matteo Pradella' in Google

Matteo Rossi

This author has not been identified. Look up 'Matteo Rossi' in Google

Dino Mandrioli

This author has not been identified. Look up 'Dino Mandrioli' in Google
runs on