Simon Foster - ICSE 2020

Write a Blog >>

Wed 24 June - Thu 16 July 2020

Registered user since Sat 6 Jun 2020

Name:Simon Foster

Country:United Kingdom

Affiliation:University of York

Personal website: https://www-users.cs.york.ac.uk/~simonf/simon-foster/

Contributions

2020

FormaliSE

Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study

Show activities from other conferences

ICSE 2020-profile
View general profile