Kamruddin Md. Nur , "Formal Verification of Requirements Engineering of Road Traffic Control System using Petri Nets", Bangladesh Research Publications Journal, vol. 5, issue. 4, pp.402-411, 2011, ISSN: 1998-2003 [Online Link].
Quick Find
About Me
Readers
Labels
- archiving (2)
- blogging (1)
- bluetooth (9)
- c/c++ (1)
- cd/dvd/burning (2)
- cell-phone-mania (6)
- collaboration tools (1)
- commands (3)
- Compiz Fusion (3)
- dictionary (1)
- dns (2)
- dnsmasq (1)
- firefox/swiftfox (9)
- flex (1)
- format (1)
- google calendar sync (1)
- google-chrome (1)
- GPRS/EDGE (2)
- gtk (2)
- haldaemon (1)
- HTC (1)
- Java (3)
- KDE (16)
- kde4 (3)
- kernel (1)
- linux-fonts (1)
- linux-Graphics (3)
- linux-multimedia (7)
- linux-networking (3)
- man (1)
- mount (1)
- netbeans (1)
- network (1)
- note-taking (1)
- openoffice (2)
- partitions (1)
- pdf (5)
- pdf/ps (2)
- php-mysql (3)
- programming-in-linux (6)
- qt (1)
- Qubee-Bangladesh (2)
- rar (2)
- remote-desktop (2)
- research (1)
- RPM (1)
- searching-in-linux (1)
- skype (1)
- slax (5)
- software-engineering (1)
- software-visualization (2)
- success (1)
- team collaboration (1)
- video-editing (1)
- vmware (3)
- voice chat (1)
- wiki (2)
- wimax (2)
- Window$ (5)
- wireless router (1)
- wonder (6)
0 comments:
Post a Comment