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

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

Project: Research project

Filter
Other report

Search results

  • 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, .

    Research output: Book/ReportOther report

  • 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, .

    Research output: Book/ReportOther report

  • 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, .

    Research output: Book/ReportOther report