Model based verification of dynamically evolvable service oriented systems
2016 ◽
Vol 19
(3)
◽
pp. 309-324
◽
Keyword(s):
2019 ◽
Vol 662
◽
pp. 042028
2014 ◽
Vol 701-702
◽
pp. 1257-1262
Keyword(s):
2018 ◽
Vol 37
(11)
◽
pp. 2952-2963
Keyword(s):
2013 ◽
Vol 46
(9)
◽
pp. 1441-1446
◽