Using Formal Approaches in different ways to improve system dependability

Activity: Talk or presentationLecture and oral contribution

See relations at Aarhus University

Peter Gorm Larsen - Lecturer

22 Oct 2014

Event (Workshop)

TitleVisiting AIST
Date22/10/201422/10/2014
CityOsaka
CountryJapan

ID: 85053190