Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Diego de Azevedo Oliveira
Latest
Modelling an Automotive Software System with TASTD
TASTD: A Real-Time Extension for ASTD
Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3
Cite
×