Comparing Three Formal Analysis Approaches of the Tropos Family - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dominik Schmitz, Gerhard Lakemeyer, Matthias Jarke. Comparing Three Formal Analysis Approaches of the Tropos Family. In Manuel Kolp, Brian Henderson-Sellers, Haralambos Mouratidis, Alessandro Garcia, Aditya Ghose, Paolo Bresciani, editors, Agent-Oriented Information Systems IV, 8th International Bi-Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected Papers. Volume 4898 of Lecture Notes in Computer Science, pages 164-182, Springer, 2006. [doi]

This author has not been identified. Look up 'Dominik Schmitz' in GoogleThis author has not been identified. Look up 'Gerhard Lakemeyer' in GoogleThis author has not been identified. Look up 'Matthias Jarke' in Google

runs on WebDSL