Login / Signup

Verification of Scenario-Based Safety Requirement Specification on Components Composition.

Junwei DuZhongwei XuMeng Mei
Published in: CSSE (2) (2008)
Keyphrases
  • formal verification
  • formal methods
  • asynchronous circuits
  • model checking
  • genetic algorithm
  • formal specification
  • website
  • high level
  • web service composition
  • protocol specification