A run-time verification method with consideration of uncertainties for cyber-physical systems

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]

Authors

Mohammadreza Mehrabian

This author has not been identified. Look up 'Mohammadreza Mehrabian' in Google

Mohammad Khayatian

This author has not been identified. Look up 'Mohammad Khayatian' in Google

Aviral Shrivastava

This author has not been identified. Look up 'Aviral Shrivastava' in Google

Patricia Derler

This author has not been identified. Look up 'Patricia Derler' in Google

Hugo A. Andrade

This author has not been identified. Look up 'Hugo A. Andrade' in Google