Login / Signup

Verifying Dynamic Semantic Composability of BOM-Based Composed Models Using Colored Petri Nets.

Imran MahmoodRassul AyaniVladimir VlassovFarshad Moradi
Published in: PADS (2012)
Keyphrases