Agustín Yagüe, Juan Garbajosa. Applying the Knowledge Stored in Systems Models to Derve Validation Tools and Environments. In Du Zhang, Yingxu Wang, Witold Kinsner, editors, Proceedings of the Six IEEE International Conference on Cognitive Informatics, ICCI 2007, August 6-8, Lake Tahoe, CA, USA. pages 391-400, IEEE, 2007. [doi]
Abstract is missing.