Model-Driven Consistency Checking of Behavioural Specifications

BS Graaf, A van Deursen

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

17 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

Bibliographical note

Graaf:2007.mompes

Keywords

  • Conf.proc. > 3 pag

Cite this