Combining Agent-Oriented Conceptual Modelling with Formal Methods - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishna. Combining Agent-Oriented Conceptual Modelling with Formal Methods. In 15th Australian Software Engineering Conference (ASWEC 2004), 13-16 April 2004, Melbourne, Australia. pages 147-157, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Sergiy A. Vilkomir' in GoogleThis author has not been identified. Look up 'Aditya K. Ghose' in GoogleThis author has not been identified. Look up 'Aneesh Krishna' in Google

runs on WebDSL