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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationFormal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
PublisherSpringer Verlag
Pages41-69
Volume6286
Publication statusPublished - 2010
EventInternational Symposium on Formal Methods for Components and Objects - Eindhoven, Netherlands
Duration: 4 Nov 20096 Nov 2009

Publication series

NameLecture Notes in Computer Science
PublisherSpringer-Verlag

Conference

ConferenceInternational Symposium on Formal Methods for Components and Objects
CountryNetherlands
CityEindhoven
Period4/11/096/11/09

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Cite this

Grabe, I., Jaghoori, M. M., Klein, J., Klüppelholz, S., Stam, A., Baier, C., ... 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 (Vol. 6286, pp. 41-69). (Lecture Notes in Computer Science). Springer Verlag.

The Credo Methodology - (Extended Version). / Grabe, Immo; Jaghoori, Mohammad Mahdi; Klein, Joachim; Klüppelholz, Sascha; Stam, Andries; Baier, Christel; Blechmann, Tobias; Aichernig, Bernhard; de Boer, Frank S.; Griesmayer, Andreas.

Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Vol. 6286 Springer Verlag, 2010. p. 41-69 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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. vol. 6286, Lecture Notes in Computer Science, Springer Verlag, pp. 41-69, International Symposium on Formal Methods for Components and Objects, Eindhoven, Netherlands, 4/11/09.
Grabe I, Jaghoori MM, Klein J, Klüppelholz S, Stam A, Baier C et al. 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. Vol. 6286. Springer Verlag. 2010. p. 41-69. (Lecture Notes in Computer Science).
Grabe, Immo ; Jaghoori, Mohammad Mahdi ; Klein, Joachim ; Klüppelholz, Sascha ; Stam, Andries ; Baier, Christel ; Blechmann, Tobias ; Aichernig, Bernhard ; de Boer, Frank S. ; Griesmayer, Andreas. / The Credo Methodology - (Extended Version). Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Vol. 6286 Springer Verlag, 2010. pp. 41-69 (Lecture Notes in Computer Science).
@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",

}

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 contribution

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

ER -