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.

Towards Building Verifiable CPS using Lingua Franca

Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia. Towards Building Verifiable CPS using Lingua Franca. ACM Trans. Embedded Comput. Syst., 22(5s), October 2023. [doi]

Authors

Shaokai Lin

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

Yatin A. Manerkar

This author has not been identified. Look up 'Yatin A. Manerkar' in Google

Marten Lohstroh

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

Elizabeth Polgreen

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

Sheng-Jung Yu

This author has not been identified. Look up 'Sheng-Jung Yu' in Google

Chadlia Jerad

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

Edward A. Lee

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

Sanjit A. Seshia

This author has not been identified. Look up 'Sanjit A. Seshia' in Google
runs on