Modeling and Verification of Component-Based Systems with Data Passing Using BIP
Keyword(s):
2019 ◽
Vol 1
(1)
◽
pp. 1-10
Keyword(s):
2020 ◽
Vol 10
(2)
◽
pp. 1359
2011 ◽
pp. 204-212
2019 ◽
Vol 3
(2)
◽
pp. 179-185
Keyword(s):
1999 ◽
Vol 103
(1021)
◽
pp. 129-138
◽