- Amjad, A., Azam, F., Anwar, M. W., & Butt, W. H. (2017, May). Verification of event-driven process chain with timed automata and time Petri nets. In 2017 9th IEEE-GCC Conference and Exhibition (GCCCE) (pp. 1-6). IEEE., - Naeem, A., Azam, F., Amjad, A., & Anwar, M. W. (2018, August). Comparison of model checking tools using timed automate-prism and uppaal. In 2018 IEEE International Conference on Computer and Communication Engineering Technology (CCET) (pp. 248-253). IEEE.
Federally Chartered Degree Awarding Institute Recognized by HECView Details