Cited By
View all- Singh NAït-Ameur YGeniet RMéry DPalanque P(2021)On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive ApplicationsInteracting with Computers10.1093/iwcomp/iwab016Online publication date: 10-May-2021
- Berstel JReghizzi SRoussel GPietro P(2018)A scalable formal method for design and automatic checking of user interfacesACM Transactions on Software Engineering and Methodology (TOSEM)10.1145/1061254.106125614:2(124-167)Online publication date: 15-Sep-2018
- Duric ZGray WHeishman RFayin Li Rosenfeld ASchoelles MSchunn CWechsler H(2002)Integrating perceptual and cognitive modeling for adaptive and intelligent human-computer interactionProceedings of the IEEE10.1109/JPROC.2002.80144990:7(1272-1289)Online publication date: Jul-2002
- Show More Cited By