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.

HAMR: An AADL Multi-platform Code Generation Toolset

John Hatcliff, Jason Belt, Robby, Todd Carpenter. HAMR: An AADL Multi-platform Code Generation Toolset. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings. Volume 13036 of Lecture Notes in Computer Science, pages 274-295, Springer, 2021. [doi]

Authors

John Hatcliff

This author has not been identified. It may be one of the following persons: Look up 'John Hatcliff' in Google

Jason Belt

This author has not been identified. Look up 'Jason Belt' in Google

Robby

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

Todd Carpenter

This author has not been identified. Look up 'Todd Carpenter' in Google
runs on