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 paper

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