On the Design of Self-Testing Checkers for Modified Berger Codes.

Stanislaw J. Piestrak Dimitris Bakalis Xrysovalantis Kavousianos

Published in: IOLTW (2001)

Keyphrases

case study
design process
computer aided
machine learning
databases
real world
artificial intelligence
computer vision
knowledge base
user interface
control system
engineering design
formal verification