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

in
Citation:
Silva SR.  2016.  Efficient Modelling and Analysis of User Interfaces in High-Assurance Systems.

Citation Key:

3331
PreviewAttachmentSize
dr-s-fm2016-camera-ready.pdf176.45 KB