4th International workshop on model driven engineering, verification, and validation: Integrating verification and validation in MDE

Benoit Baudry; Alain Faivre; Sudipto Ghosh; Alexander Pretschner

doi:10.1007/978-3-540-69073-3_16

4th International workshop on model driven engineering, verification, and validation: Integrating verification and validation in MDE

Benoit Baudry, Alain Faivre, Sudipto Ghosh, Alexander Pretschner

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages	145-150
Number of pages	6
DOIs	https://doi.org/10.1007/978-3-540-69073-3_16
State	Published - 2008
Externally published	Yes
Event	Models in Software Engineering, MoDELS 2007 - Nashville, TN, United States Duration: 30 Sep 2007 → 5 Oct 2007

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5002 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	Models in Software Engineering, MoDELS 2007
Country/Territory	United States
City	Nashville, TN
Period	30/09/07 → 5/10/07

Access to Document

10.1007/978-3-540-69073-3_16

Cite this

Baudry, B., Faivre, A., Ghosh, S., & Pretschner, A. (2008). 4th International workshop on model driven engineering, verification, and validation: Integrating verification and validation in MDE. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 145-150). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5002 LNCS). https://doi.org/10.1007/978-3-540-69073-3_16

Baudry, Benoit ; Faivre, Alain ; Ghosh, Sudipto et al. / 4th International workshop on model driven engineering, verification, and validation : Integrating verification and validation in MDE. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2008. pp. 145-150 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{9b88aa1af71b4ae79f064b55f8543e0a,

title = "4th International workshop on model driven engineering, verification, and validation: Integrating verification and validation in MDE",

author = "Benoit Baudry and Alain Faivre and Sudipto Ghosh and Alexander Pretschner",

year = "2008",

doi = "10.1007/978-3-540-69073-3_16",

language = "English",

isbn = "3540690697",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "145--150",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

note = "Models in Software Engineering, MoDELS 2007 ; Conference date: 30-09-2007 Through 05-10-2007",

}

Baudry, B, Faivre, A, Ghosh, S & Pretschner, A 2008, 4th International workshop on model driven engineering, verification, and validation: Integrating verification and validation in MDE. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5002 LNCS, pp. 145-150, Models in Software Engineering, MoDELS 2007, Nashville, TN, United States, 30/09/07. https://doi.org/10.1007/978-3-540-69073-3_16

4th International workshop on model driven engineering, verification, and validation: Integrating verification and validation in MDE. / Baudry, Benoit; Faivre, Alain; Ghosh, Sudipto et al.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2008. p. 145-150 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5002 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - 4th International workshop on model driven engineering, verification, and validation

T2 - Models in Software Engineering, MoDELS 2007

AU - Baudry, Benoit

AU - Faivre, Alain

AU - Ghosh, Sudipto

AU - Pretschner, Alexander

PY - 2008

Y1 - 2008

UR - http://www.scopus.com/inward/record.url?scp=47749092448&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-69073-3_16

DO - 10.1007/978-3-540-69073-3_16

M3 - Conference contribution

AN - SCOPUS:47749092448

SN - 3540690697

SN - 9783540690696

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 145

EP - 150

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Y2 - 30 September 2007 through 5 October 2007

ER -

Baudry B, Faivre A, Ghosh S, Pretschner A. 4th International workshop on model driven engineering, verification, and validation: Integrating verification and validation in MDE. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2008. p. 145-150. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-69073-3_16

4th International workshop on model driven engineering, verification, and validation: Integrating verification and validation in MDE

Publication series

Conference

Access to Document

Other files and links

Cite this