D-MILS presentation at ICSE 2013 Workshop ASSURE

Tim Kelly presented the talk towards model-based Safety Cases in AutoFOCUS at the ICSE 2013 Workshop ASSURE. The work is a valuable result of the D-Mils Project and will be included in the open source Tool AF3 (af3.fortiss.org). The slides are available under:

http://www.cs.york.ac.uk/assure2013/Program.html

 

Views: 231

Attachments:

Reply to This

D-MILS Partners

 

 

 

 

 

 

 

 

© 2021   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service