Publisher
Springer International Publishing
Reference14 articles.
1. Bowen, J.P.: Formal Specification and Documentation Using Z, A Case Study Approach. International Thomson Computer Press (1996)
2. Bowen, J., Reeves, S.: Formal Models for User Interface Design Artefacts. Innovations in Systems and Software Engineering 4(2), 125–141 (2008)
3. Bowen, J., Reeves, S.: Modelling User Manuals of Modal Medical Devices and Learning from the Experience. In: Fourth ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2012), pp. 121–130. ACM, New York (2012)
4. Bowen, J., Reeves, S.: Modelling Safety Properties of Interactive Medical Systems. In: Fifth ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2013), pp. 91–100. ACM, New York (2013)
5. Bowen, J., Jones, S., Reeves, S.: Creating Visualisations of Formal Models of Interactive Medical Devices. In: Pre-proceedings of Second International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2013), pp. 259–263 (2013)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献