A Model-Driven CASE tool for Developing and Verifying Regulated Open MAS

García Marqués Mª Emilia, Giret Boggino Adriana Susana, Botti Navarro Vicente Juan

2012

Science of Computer Programming