Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components
Keyword(s):
Keyword(s):
2010 ◽
Vol 5
(2)
◽
pp. 44-49
◽
Keyword(s):
2013 ◽
Vol 24
(4)
◽
pp. 289-319
◽