Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Information Systems,Management Information Systems,Software
Reference39 articles.
1. Bhandari GP, Gupta R, Upadhyay SK (2018) Colored Petri nets based fault diagnosis in service oriented architecture. Int J Web Serv Res 15(4):1–28
2. Abrial J-R, Lee MKO, Neilson DS, Scharbach PN, Sørensen IH (1991) The B-method. In: International symposium of VDM Europe, pp 398–405
3. Brinksma E (1988) LOTOS {A formal description technique based on the temporal ordering of observational behaviour. International Organization for Standardization, vol 8807
4. Hennessy M (1988) Algebraic theory of processes. MIT Press, Cambridge
5. Yan Y, Dague P, Pencole Y, Cordier M-O (2009) A model-based approach for diagnosing fault in web service processes. Int J Web Serv Res 6(1):87–110
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献