Login / Signup

Towards Automatic Verification of Embedded Control Software.

Nanette BauerRalf Huuck
Published in: APAQS (2001)
Keyphrases
  • control software
  • control system
  • digital images
  • image processing
  • multiscale
  • information technology