Sign in

Modelling and Verification of Port Based Component Composition.

Zuohua DingMingyue Jiang
Published in: QSIC (2009)
Keyphrases
  • model checking
  • neural network
  • artificial intelligence
  • formal verification
  • three dimensional
  • data structure
  • concurrent systems