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