IC0901 - Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems

Main Contacts

Dr Cesar Sanchez

Action Chair +34913363734 cesar.sanchez@imdea.org

Prof Roderick Bloem

Action Vice Chair +43 316 873 5580 roderick.bloem@iaik.tugraz.at

Dr Ralph Stuebner

Science Officer +3225333826 ralph.stuebner@cost.eu

Ms Aranzazu Sanchez

Administrative Officer +3225333820 Aranzazu.Sanchez@cost.eu