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]
No references recorded for this publication.
No citations of this publication recorded.