Erstellung Rodin Handbook
[vc_row][vc_column width=”1/4″][vc_single_image image=”416″ img_size=”150×150″ alignment=”center” css_animation=”appear”][/vc_column][vc_column width=”3/4″][vc_column_text] Ausgangssituation Deploy war ein europäisches FP7 Projekt mit dem Ziel, Techniken und Methoden für die Entwicklung sicherheitskritischer Systeme mittels formaler Methoden voranzutreiben und weiterzuentwickeln. Ein zentrales Ziel war es, die sogenannte Rodin Platform weiterzuentwickeln und für Anwender aus der Industrie zugänglich zu machen.[/vc_column_text][/vc_column][/vc_row][vc_row][vc_column width=”1/4″][vc_single_image image=”417″ img_size=”150×150″ alignment=”center” css_animation=”appear”][/vc_column][vc_column…