The Credo Methodology - (Extended Version)

Immo Grabe; Mohammad Mahdi Jaghoori; Joachim Klein; Sascha Klüppelholz; Andries Stam; Christel Baier; Tobias Blechmann; Bernhard Aichernig; Frank S. de Boer; Andreas Griesmayer

The Credo Methodology - (Extended Version)

Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard Aichernig, Frank S. de Boer, Andreas Griesmayer

Institut für Softwaretechnologie (7160)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Herausgeber (Verlag)	Springer Verlag
Seiten	41-69
Band	6286
Publikationsstatus	Veröffentlicht - 2010
Veranstaltung	International Symposium on Formal Methods for Components and Objects - Eindhoven, Niederlande Dauer: 4 Nov. 2009 → 6 Nov. 2009

Publikationsreihe

Name	Lecture Notes in Computer Science
Herausgeber (Verlag)	Springer-Verlag

Konferenz

Konferenz	International Symposium on Formal Methods for Components and Objects
Land/Gebiet	Niederlande
Ort	Eindhoven
Zeitraum	4/11/09 → 6/11/09

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application

Dieses zitieren

Grabe, I., Jaghoori, M. M., Klein, J., Klüppelholz, S., Stam, A., Baier, C., Blechmann, T., Aichernig, B., de Boer, F. S., & Griesmayer, A. (2010). The Credo Methodology - (Extended Version). in Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers (Band 6286, S. 41-69). (Lecture Notes in Computer Science). Springer Verlag.

The Credo Methodology - (Extended Version). / Grabe, Immo; Jaghoori, Mohammad Mahdi; Klein, Joachim et al.
Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Band 6286 Springer Verlag, 2010. S. 41-69 (Lecture Notes in Computer Science).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Grabe, I, Jaghoori, MM, Klein, J, Klüppelholz, S, Stam, A, Baier, C, Blechmann, T, Aichernig, B, de Boer, FS & Griesmayer, A 2010, The Credo Methodology - (Extended Version). in Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Bd. 6286, Lecture Notes in Computer Science, Springer Verlag, S. 41-69, International Symposium on Formal Methods for Components and Objects, Eindhoven, Niederlande, 4/11/09.

@inproceedings{93d6e002afb34251b572d18538127f74,

title = "The Credo Methodology - (Extended Version)",

author = "Immo Grabe and Jaghoori, {Mohammad Mahdi} and Joachim Klein and Sascha Kl{\"u}ppelholz and Andries Stam and Christel Baier and Tobias Blechmann and Bernhard Aichernig and {de Boer}, {Frank S.} and Andreas Griesmayer",

year = "2010",

language = "English",

volume = "6286",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

pages = "41--69",

booktitle = "Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers",

address = "Germany",

note = "International Symposium on Formal Methods for Components and Objects ; Conference date: 04-11-2009 Through 06-11-2009",

}

TY - GEN

T1 - The Credo Methodology - (Extended Version)

AU - Grabe, Immo

AU - Jaghoori, Mohammad Mahdi

AU - Klein, Joachim

AU - Klüppelholz, Sascha

AU - Stam, Andries

AU - Baier, Christel

AU - Blechmann, Tobias

AU - Aichernig, Bernhard

AU - de Boer, Frank S.

AU - Griesmayer, Andreas

PY - 2010

Y1 - 2010

M3 - Conference paper

VL - 6286

T3 - Lecture Notes in Computer Science

SP - 41

EP - 69

BT - Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

PB - Springer Verlag

T2 - International Symposium on Formal Methods for Components and Objects

Y2 - 4 November 2009 through 6 November 2009

ER -