![](/img/cover-not-exists.png)
[IEEE 2013 18th International Conference on Engineering of Complex Computer Systems (ICECCS) - Singapore, Singapore (2013.07.17-2013.07.19)] 2013 18th International Conference on Engineering of Complex Computer Systems - Modeling and Verification of Component-Based Systems with Data Passing Using BIP
Su, Chen, Zhou, Min, Yin, Liangze, Wan, Hai, Gu, MingYear:
2013
Language:
english
DOI:
10.1109/iceccs.2013.12
File:
PDF, 602 KB
english, 2013