Author:
Rutle Adrian,Rabbi Fazle,MacCaull Wendy,Lamo Yngve
Reference21 articles.
1. D. Méry, N. Singh, Medical protocol diagnosis using formal methods, in: Z. Liu, A. Wassyng (Eds.), Foundations of Health Informatics Engineering and Systems, Vol. 7151 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2012, pp. 1-20. doi:10.1007/978-3-642-32355-3_1.
2. K. Loer, M. Harrison, Towards usable and relevant model checking techniques for the analysis of dependable interactive systems, in: Proceedings of the 17th IEEE international conference on Automated software engineering, ASE ‘02, IEEE Computer Society, Washington, DC, USA, 2002, pp. 223-226.
3. H. Wang, A. Rutle, W. MacCaull, A Formal Diagrammatic Approach to Timed Workflow Modelling, in: Proceedings of TASE 2012: 6th International Conference on Theoretical Aspects of Software Engineering, Vol. 0, IEEE Computer Society, 2012, pp. 167-174.
4. A. Rutle, H. Wang, W. MacCaull, A Formal Diagrammatic Approach to Compensable Workflow Modelling, in: Z. Liu, A. Was- syng (Eds.), Foundations of Health Informatics Engineering and Systems, Vol. 7789 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2013, pp. 194-212.
5. A. Rutle, W. MacCaull, H. Wang, Y. Lamo, A Metamodelling Approach to Behavioural Modelling, in: Proceedings of BM-FA 2012: 4th Workshop on Behavioural Modelling: Foundations and Applications, ACM, 2012, pp. 5:1-5:10.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献