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

  • Könighofer, Robert (Teilnehmer (Co-Investigator))
  • Hofferek, Georg (Teilnehmer (Co-Investigator))
  • Greimel, Karin (Teilnehmer (Co-Investigator))
  • Bloem, Roderick (Projektleiter (Principal Investigator))

Projekt: Foschungsprojekt

Filter
Sonstiger Bericht

Suchergebnisse

  • 2010

    Final report

    Pravadelli, G., Fummi, F., Letombe, F., Hofferek, G., Perbellini, G., Roveri, M., Hui-Bon-Hoa, C., Müller, W. & Dellacherie, S., 2010, .

    Publikation: Buch/Bericht/KonferenzbandSonstiger Bericht

  • Final validation of the COCONUT flow and Tools Integration

    Dellacherie, S., Hofferek, G., Pravadelli, G., Bresolin, D., Bombieri, N., Di Guglielmo, L., Geretti, L., Villa, T., Perbellini, G., Roveri, M., Narasamdya, I., Quigley, R., Marques-Silva, J., Letombe, F., Müller, W., Becker, M. & Hui-Bon-Hoa, C., 2010, .

    Publikation: Buch/Bericht/KonferenzbandSonstiger Bericht

  • Future plan on use and dissemination

    Letombe, F., Hofferek, G., Pravadelli, G., Perbellini, G., Roveri, M., Narasamdya, I., Hui-Bon-Hoa, C., Quigley, R., Becker, M., Müller, W., Dellacherie, S. & Fummi, F., 2010, .

    Publikation: Buch/Bericht/KonferenzbandSonstiger Bericht