| Stanton, SC and Malhotra, V, “Model checking an object-oriented design validation led development of software”, Proceedings of the 6th International Conference on Enterprise Information Systems, 14-17 April 2004, Porto, Portugal, pp. 605-608. ISBN 972-8865-00-7 (2004) [Refereed Conference Paper] |
| Data Type | Value |
|---|
| Type of Research | Experimental Development |
| Research Division | Information and Computing Sciences |
| Research Group | Software engineering |
| Research Field | Software testing, verification and validation |
| Research Objective Division | Expanding Knowledge |
| Research Objective Group | Expanding knowledge |
| Research Objective Field | Expanding knowledge in the mathematical sciences |
| Visit Item on eCite | http://ecite.utas.edu.au/30863 |
| Scopus Source URL | View the full record on Scopus |
| Scopus Citing URL | View the list of citing articles on Scopus |
| Number of Times Cited | 1 |
