Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava, Patricia Derler, Hugo A. Andrade. A run-time verification method with consideration of uncertainties for cyber-physical systems. Microprocessors and Microsystems, 101:104890, 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.