Definition of the DIAMOND Platform

Oleg Rokhlenko, Cindy Eisner, Görschwin Fey, Alexander Finder, Jaan Raik, Maksim Jenihhin, Gunnar Carlsson, Georg Hofferek, Robert Könighofer

Institute of Applied Information Processing and Communications (7050)

Research output: Book/Report › Other report

2 results

Filter

Finished
EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design
Khalimov, A., Greimel, K., Jacobs, S., Hofferek, G., Könighofer, B., Könighofer, R. & Bloem, R.
1/01/10 → 31/12/12
Project: Research project
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
Project: Research area