Mathematical model based traffic violations identification. - Fozia Mehboob; Muhammad Abbas; Abdul Rauf 003 (Comput. Math. Organ. Theory, 2019)

Modeling and safety analysis for collaborative safety-critical systems using hierarchical colored Petri nets. - Nazakat Ali; Sasikumar Punnekkat; Abdul Rauf 003 (J. Syst. Softw., 2024)