Dewan Mohammad Moksedul Alam

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 4

Top Topics

Orders Of Magnitude

Top Venues

Int. J. Softw. Eng. Knowl. Eng.

Publications

Xudong He, Dewan Mohammad Moksedul Alam
Hybrid Predicate Transition Nets - A Formal Method for Modeling and Analyzing Cyber-Physical Systems. QRS (2019)
Dewan Mohammad Moksedul Alam, Xudong He, William C. Chu
Modeling and Analyzing Hybrid Systems Using Hybrid Predicate Transition Nets (S). SEKE (2018)
Dewan Mohammad Moksedul Alam, Xudong He
A Method to Analyze High Level Petri Nets using SPIN Model Checker. SEKE (2017)
Dewan Mohammad Moksedul Alam, Xudong He
A Method to Analyze Predicate Transition Nets Using SPIN Model Checker. Int. J. Softw. Eng. Knowl. Eng. 27 (9-10) (2017)