Model-Driven Consistency Checking of Behavioural Specifications Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

Khedri, Ridha
Graaf, Bas
van Deursen, Arie

status

published

publication date

March 2007

published in

Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'07) Journal

presented at event

2007 IEEE 4th International Workshop on Model Based Methodologies for Pervasive and Embedded Software Conference