Dewan Mohammad Moksedul Alam
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2017–2019
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | QRS | Hybrid Predicate Transition Nets - A Formal Method for Modeling and Analyzing Cyber-Physical Systems. | Xudong He, Dewan Mohammad Moksedul Alam |
| 2018 | SEKE | Modeling and Analyzing Hybrid Systems Using Hybrid Predicate Transition Nets (S). | Dewan Mohammad Moksedul Alam, Xudong He, William C. Chu |
| 2017 | SEKE | A Method to Analyze High Level Petri Nets using SPIN Model Checker. | Dewan Mohammad Moksedul Alam, Xudong He |