You are here

Model Based Design and Safety Assessment at FBK

Project researchers

Researcher
Location: 
FORTISS - Munich (20/11/2015)
Programme: 

9-9.10 Marco Roveri "Brief presentation of FBK"
9.10-10.10 Marco Roveri "Formal methods for functional verification"
10.10-11.10 Marco Bozzano "Formal methods for safety analysis"
11.10-11.30 break
11.30-12.30 Stefano Tonetta "Contract-based analysis of architectural designs"
12.30-13.00 Open discussion 

Slides presented in this workshop: