A framework for modeling and analyzing cyber-physical systems using statistical model checking

Abdel-Latif Alshalalfah, Otmane Aït Mohamed, Samir Ouchani. A framework for modeling and analyzing cyber-physical systems using statistical model checking. Internet of Things, 22:100732, July 2023. [doi]

Abstract

Abstract is missing.