Login / Signup

Contract-Based Verification of Hierarchical Systems of Components.

Sophie QuintonSusanne Graf
Published in: SEFM (2008)
Keyphrases
  • building blocks
  • software components
  • management system
  • computer systems
  • databases
  • artificial intelligence
  • multimedia
  • website
  • multi agent