Analyzing model checking approach for multi agent system verification
During requirement specification process of software development activities, many existing systems or business process requirements have been captured using natural language or specialized tools such as UML. However, the capturing of informal requirements into formalized properties has not been take...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
2011
|
| Online Access: | http://eprints.utm.my/id/eprint/45592/ http://dx.doi.org/10.1109/MySEC.2011.6140650 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|