Login / Signup

IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems.

Miroslav SvédaFranz PichlerCharles Rattray
Published in: ECBS (2000)
Keyphrases
  • formal specification
  • distributed systems
  • software components
  • databases
  • formal methods
  • object oriented
  • model checking