Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada

Michalis Famelis; Daniel Ratiu; Martina Seidl; Gehan M. K. Selim

Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada

Michalis Famelis (Editor), Daniel Ratiu (Editor), Martina Seidl (Editor), Gehan M. K. Selim (Editor)

Institute of Formal Models and Verification

Research output: Book › Anthology

Original language	English
Volume	1514
Publication status	Published - Sept 2015

Publication series

Name	CEUR Workshop Proceedings

Fields of science

102 Computer Sciences
603109 Logic
202006 Computer hardware

JKU Focus areas

Computation in Informatics and Mathematics

Cite this

@book{0741bbec978741848152b8f25f79f071,

title = "Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada",

editor = "Michalis Famelis and Daniel Ratiu and Martina Seidl and Selim, {Gehan M. K.}",

year = "2015",

month = sep,

language = "English",

volume = "1514",

series = "CEUR Workshop Proceedings",

}

Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada. / Famelis, Michalis (Editor); Ratiu, Daniel (Editor); Seidl, Martina (Editor) et al.
2015. (CEUR Workshop Proceedings).

Research output: Book › Anthology

TY - BOOK

T1 - Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada

A2 - Famelis, Michalis

A2 - Ratiu, Daniel

A2 - Seidl, Martina

A2 - Selim, Gehan M. K.

PY - 2015/9

Y1 - 2015/9

M3 - Anthology

VL - 1514

T3 - CEUR Workshop Proceedings

BT - Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada

ER -