Login / Signup

Bounded Implementation of Algebraic Specifications.

Michael Breu
Published in: COMPASS/ADT (1991)
Keyphrases
  • software engineering
  • hardware implementation
  • implementation details
  • specification language
  • reactive systems