An approach for model checking petri nets based software architecture
With the inevitable increase in complexity of both hardware and software systems, there is a growing demand for methodologies that can increase confidence in correct system design and construction. Such methodologies will result in improved quality, as well as in a reduction to the total development...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
FIU Digital Commons
2000
|
| Subjects: | |
| Online Access: | http://digitalcommons.fiu.edu/etd/2821 |