HomeAboutBrowseSearchStatisticsPES | Administrators

Author: Stanton, S (Mr Simon Stanton)

Searching

Advanced Search

Easy Search

Browsing

Browse by Year

Browse by Subject

Browse by Author

Browse by School

Browse by Type

Statistics

Recent Downloads

Top 100 Downloads

Downloads by Country

Downloads by Year

UTas eCite Server

Google Analytics

Number of items: 3

Conference Publication

Stanton, S and Malhotra, VM, Model Checking an Object-Oriented Design Validation Led Development of Software, Proceedings ICEIS 2004 Sixth International Conference on Enterprise Information Systems, 14-17 April 2004, Porto, Portugal, pp. 605-608. ISBN 972-8865-00-7 (2004) [Refereed Conference]
Malhotra, VM and Stanton, S, Validating Inter-object Interaction in Object-oriented Designs, Proceedings of the Fourth IASTED International Conference on Modelling, Simulation and Optimization, 16-18 August 2004, Kauai, Hawaii, pp. 241-245. ISBN 1482-7905 (2004) [Refereed Conference]
Stanton, S and Malhotra, VM, Validation Led Development of Object-oriented Software Using a Model Verifier, Proceedings of the IADIS International Conference Applied Computing 2004, 23-26 March 2004, Lisbon, Portugal EJ ISBN 972-98947-3-6 (2004) [Conference Extract]
This list was generated on Sun Nov 22 03:52:58 2009.
University of Tasmania Home Page Authorised by the Pro Vice-Chancellor (Research)
Copyright © University of Tasmania ABN 30 764 374 782
CRICOS Provider Code 00586B | Copyright & Disclaimers | Accessibility | Site Feedback
International Students | Future Students | Research | Postgraduate Coursework