A talk about Efficient Modelling and Analysis of User Interfaces in High-Assurance Systems
By Saulo Silva, HASLab, INESC TEC & University of Minho.
Read more