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.

Language for Unified Verification and Implementation for Distributed Avionics

Benjamin F. Jones, Lee Pike, Srivatsan Varadarajan, Brendan Hall. Language for Unified Verification and Implementation for Distributed Avionics. JACIC, 15(11):640-664, November 2018. [doi]

Authors

Benjamin F. Jones

This author has not been identified. Look up 'Benjamin F. Jones' in Google

Lee Pike

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

Srivatsan Varadarajan

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

Brendan Hall

This author has not been identified. Look up 'Brendan Hall' in Google
runs on