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 contribution

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.