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...
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
2011
|