Development of Software Tool for Safety Checking by Generating Coverability Tree Using Petri Nets

Author

Hoque, Md Tamjidul

Hoque, Mohammad Towhidul

Year published

2005

Metadata

Show full item record

Conference Title

Proceedings. 8th ICCIT 2005

Subject

Multi-Disciplinary

Publication URI

http://hdl.handle.net/10072/32895

Collection

• Conference outputs