Communication-Based Modelling and Inspection in Critical Systems

Marcos Salenko Guimarães, Maria Cecília Calani Baranauskas, Eliane Martins. Communication-Based Modelling and Inspection in Critical Systems. In José Cordeiro, Joaquim Filipe, editors, ICEIS 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems, Volume HCI, Barcelona, Spain, June 12-16, 2008. pages 215-220, 2008.

Abstract

Abstract is missing.