Login / Signup

Modeling and Verification of Component-Based Systems with Data Passing Using BIP.

Chen SuMin ZhouLiangze YinHai WanMing Gu
Published in: ICECCS (2013)
Keyphrases