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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.