Sign in

Assume-guarantee verification of software components in SOFA 2 framework.

Pavel ParízekFrantisek Plasil
Published in: IET Softw. (2010)
Keyphrases
  • software components
  • software development
  • software systems
  • software reuse
  • reusable components
  • real world
  • database systems
  • multi agent systems
  • object oriented
  • model checking