Modelling and Verification of Port Based Component Composition.

Zuohua Ding Mingyue Jiang

Published in: QSIC (2009)

Keyphrases

model checking
neural network
artificial intelligence
formal verification
three dimensional
data structure
concurrent systems