Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems
2011 ◽
Vol 20
(04)
◽
pp. 357-370
◽
2016 ◽
Vol 10
(11)
◽
pp. 255-270
2013 ◽
Keyword(s):
2012 ◽
Vol 433-440
◽
pp. 3895-3899
◽