Joseph Boi-Ukeme. A robust discrete event method for the design of cyber-physical systems: PhD forum abstract. In Jin Nakazawa, Polly Huang, editors, SenSys '20: The 18th ACM Conference on Embedded Networked Sensor Systems, Virtual Event, Japan, November 16-19, 2020. pages 794-795, ACM, 2020. [doi]
Abstract is missing.