Future plan on use and dissemination

Florian Letombe; Georg Hofferek; Graziano Pravadelli; Giovanni Perbellini; Marco Roveri; Iman Narasamdya; Christophe Hui-Bon-Hoa; Rob Quigley; Markus Becker; Wolfgang Müller; Samuel Dellacherie; Franco Fummi

Future plan on use and dissemination

Florian Letombe, Georg Hofferek, Graziano Pravadelli, Giovanni Perbellini, Marco Roveri, Iman Narasamdya, Christophe Hui-Bon-Hoa, Rob Quigley, Markus Becker, Wolfgang Müller, Samuel Dellacherie, Franco Fummi

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht

Originalsprache	englisch
Verlag	.
Publikationsstatus	Veröffentlicht - 2010

Andere Dateien und Links

http://www.coconut-project.eu/files/FP7-2007-IST-1-217069-Coconut-D6.3.pdf

Formal Methods for Design & Verification
Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.
1/02/08 → 15/07/19
Projekt: Arbeitsgebiet
EU - COCONUT - A correct-by-construction workbench for design and verification of embedded systems
Könighofer, R., Hofferek, G., Greimel, K. & Bloem, R.
1/01/08 → 30/06/10
Projekt: Forschungsprojekt

Dieses zitieren

@book{7c057b0333d446e282506f265c57873a,

title = "Future plan on use and dissemination",

author = "Florian Letombe and Georg Hofferek and Graziano Pravadelli and Giovanni Perbellini and Marco Roveri and Iman Narasamdya and Christophe Hui-Bon-Hoa and Rob Quigley and Markus Becker and Wolfgang M{\"u}ller and Samuel Dellacherie and Franco Fummi",

year = "2010",

language = "English",

publisher = ".",

}

TY - BOOK

T1 - Future plan on use and dissemination

AU - Letombe, Florian

AU - Hofferek, Georg

AU - Pravadelli, Graziano

AU - Perbellini, Giovanni

AU - Roveri, Marco

AU - Narasamdya, Iman

AU - Hui-Bon-Hoa, Christophe

AU - Quigley, Rob

AU - Becker, Markus

AU - Müller, Wolfgang

AU - Dellacherie, Samuel

AU - Fummi, Franco

PY - 2010

Y1 - 2010

UR - http://www.coconut-project.eu/files/FP7-2007-IST-1-217069-Coconut-D6.3.pdf

M3 - Other report

BT - Future plan on use and dissemination

PB - .

ER -

Future plan on use and dissemination

Andere Dateien und Links

Projekte

Formal Methods for Design & Verification

EU - COCONUT - A correct-by-construction workbench for design and verification of embedded systems

Dieses zitieren