Development of Software Tool for Safety Checking by Generating Coverability Tree Using Petri Nets
Author(s)
Hoque, Md Tamjidul
Hoque, Mohammad Towhidul
Griffith University Author(s)
Year published
2005
Metadata
Show full item recordConference Title
Proceedings. 8th ICCIT 2005
Subject
Multi-Disciplinary