Sign in

Totally Verified Systems: Linking Verified Software to Verified Hardware.

Jeffrey J. Joyce
Published in: Hardware Specification, Verification and Synthesis (1989)
Keyphrases
  • computer systems
  • embedded systems
  • computing systems
  • real time
  • data sets
  • image processing
  • intelligent systems
  • software components
  • hardware design