Model-Driven Consistency Checking of Behavioural Specifications

BS Graaf, A van Deursen

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

16 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationProceedings Fourth International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2007)
EditorsJoao M. Fernandes, Ricardo J. Machado, Ridha Khedri, Siobhan Clarke
Place of Publications.l.
PublisherIEEE
Pages115-126
Number of pages12
ISBN (Print)ISBN 0-7695-2769-8
Publication statusPublished - 2007

Publication series

Name
PublisherIEEE Computer Society

Keywords

  • Conf.proc. > 3 pag

Cite this

Graaf, BS., & van Deursen, A. (2007). Model-Driven Consistency Checking of Behavioural Specifications. In J. M. Fernandes, R. J. Machado, R. Khedri, & S. Clarke (Eds.), Proceedings Fourth International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2007) (pp. 115-126). IEEE.