Title : Verification of functional and non-functional requirements of web service composition
Language : English
Author, co-author : Chen, Manman [National University of Singapore]
Tan, Tian Huat [National University of Singapore]
Sun, Jun [Singapore University of Technology and Design]
Liu, Yang [Nanyang Technological Unviersity]
Pang, Jun [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) > ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)]
Li, Xiaohong [Tianjing University]
Publication date : 2013
Main document title : Proceedings of 15th Conference on Formal Engineering Methods (ICFEM'13)
Publisher : Springer
Collection and collection volume : Lecture Notes in Computer Science, volume 8144
Pages : 314-329
Peer reviewed : Yes
On invitation : No
Audience : International
Event name : 15th Conference on Formal Engineering Methods
Event date : 2013
Event country : New Zealand
Permalink : http://hdl.handle.net/10993/8807