Standard

Model-Driven Consistency Checking of Behavioural Specifications. / Graaf, BS; van Deursen, A.

Proceedings Fourth International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2007). ed. / Joao M. Fernandes; Ricardo J. Machado; Ridha Khedri; Siobhan Clarke. s.l. : IEEE Computer Society, 2007. p. 115-126.

Research output: Scientific - peer-reviewConference contribution

Harvard

Graaf, BS & van Deursen, A 2007, Model-Driven Consistency Checking of Behavioural Specifications. in JM Fernandes, RJ Machado, R Khedri & S Clarke (eds), Proceedings Fourth International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2007). IEEE Computer Society, s.l., pp. 115-126.

APA

Graaf, B. S., & 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). s.l.: IEEE Computer Society.

Vancouver

Graaf BS, van Deursen A. Model-Driven Consistency Checking of Behavioural Specifications. In Fernandes JM, Machado RJ, Khedri R, Clarke S, editors, Proceedings Fourth International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2007). s.l.: IEEE Computer Society. 2007. p. 115-126.

Author

Graaf, BS; van Deursen, A / Model-Driven Consistency Checking of Behavioural Specifications.

Proceedings Fourth International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2007). ed. / Joao M. Fernandes; Ricardo J. Machado; Ridha Khedri; Siobhan Clarke. s.l. : IEEE Computer Society, 2007. p. 115-126.

Research output: Scientific - peer-reviewConference contribution

BibTeX

@inbook{55e126cfadc44e30af50b372f427259e,
title = "Model-Driven Consistency Checking of Behavioural Specifications",
keywords = "Conf.proc. > 3 pag",
author = "BS Graaf and {van Deursen}, A",
note = "Graaf:2007.mompes",
year = "2007",
isbn = "ISBN 0-7695-2769-8",
publisher = "IEEE Computer Society",
pages = "115--126",
editor = "Fernandes, {Joao M.} and Machado, {Ricardo J.} and Ridha Khedri and Siobhan Clarke",
booktitle = "Proceedings Fourth International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2007)",
address = "United States",

}

RIS

TY - CHAP

T1 - Model-Driven Consistency Checking of Behavioural Specifications

AU - Graaf,BS

AU - van Deursen,A

N1 - Graaf:2007.mompes

PY - 2007

Y1 - 2007

KW - Conf.proc. > 3 pag

UR - http://www.st.ewi.tudelft.nl/%7Earie/papers/race/mompes2007.pdf

M3 - Conference contribution

SN - ISBN 0-7695-2769-8

SP - 115

EP - 126

BT - Proceedings Fourth International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2007)

PB - IEEE Computer Society

ER -

ID: 2564241