Towards Building Verifiable CPS using Lingua Franca.
In: ACM Transactions on Embedded Computing Systems, Jg. 22 (2023-10-02), S. 1-24
Online
academicJournal
Zugriff:
Titel: |
Towards Building Verifiable CPS using Lingua Franca.
|
---|---|
Autor/in / Beteiligte Person: | SHAOKAI, LIN ; MANERKAR, YATIN A. ; LOHSTROH, MARTEN ; POLGREEN, ELIZABETH ; SHENG-JUNG, YU ; JERAD, CHADLIA ; LEE, EDWARD A. ; SESHIA, SANJIT A. |
Link: | |
Zeitschrift: | ACM Transactions on Embedded Computing Systems, Jg. 22 (2023-10-02), S. 1-24 |
Veröffentlichung: | 2023 |
Medientyp: | academicJournal |
ISSN: | 1539-9087 (print) |
DOI: | 10.1145/3609134 |
Sonstiges: |
|