AIUB DSpace
Welcome to the Institutional Repository of American International University-Bangladesh. We preserve and enable easy and open access to all types of digital content including text, images, moving images, mpegs and data sets.
Browsing by Subject Formal Verification of Requirements Engineering
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2011-07 | Formal Verification of Requirements Engineering of Road Traffic Control System using Petri Nets | Nur, Kamruddin |