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.

Synthesizing Verified Components for Cyber Assured Systems Engineering

Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin. Synthesizing Verified Components for Cyber Assured Systems Engineering. In 24th International Conference on Model Driven Engineering Languages and Systems, MODELS 2021, Fukuoka, Japan, October 10-15, 2021. pages 205-215, IEEE, 2021. [doi]

Authors

Eric Mercer

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

Konrad Slind

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

Isaac Amundson

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

Darren D. Cofer

This author has not been identified. Look up 'Darren D. Cofer' in Google

Junaid Babar

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

David S. Hardin

This author has not been identified. Look up 'David S. Hardin' in Google
runs on