Satarkar, G. S. (2020). Formal modeling, control & real-time implementation of cyber-physical systems (AICTE-sponsored two-week online faculty development programme, Phase II). Department of Electrical & Electronics Engineering, V.S.B. Engineering College, Karur, Tamil Nadu, India. November 9–24, 2020.
Abstract
Satarkar, G. S. (2020). Formal modeling, control & real-time implementation of cyber-physical systems (AICTE-sponsored two-week online faculty development programme, Phase II). Department of Electrical & Electronics Engineering, V.S.B. Engineering College, Karur, Tamil Nadu, India. November 9–24, 2020.
Fields of Study & Subjects
Modeling and Simulation Systems
Formal Methods in Verification
Real-Time Systems Scheduling
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 13 January 2026