مؤتمر
Formalizing Cyber-Physical System Interfaces Using Devs
العنوان: | Formalizing Cyber-Physical System Interfaces Using Devs |
---|---|
المؤلفون: | Jiresal, Rishabh Sudhir, Wainer, Gabriel |
المصدر: | 2023 Annual Modeling and Simulation Conference (ANNSIM) Modeling and Simulation Conference (ANNSIM), 2023 Annual. :159-170 May, 2023 |
Relation: | 2023 Annual Modeling and Simulation Conference (ANNSIM) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9781713873280 |
---|