Vol-1743⫷ Vol-1744 ⫸Vol-1745
urn:nbn:de:0074-1744-0


Vol-1744/paper3⫷Vol-1744/paper4⫸Vol-1744/paper5
Saulo Rodgrigues e Silva

Efficient Modelling and Analysis of User Interfaces in High-Assurance Systems