Structured Design of Self-Stabilizing Programs.

Published in: ISTCS (1993)

Keyphrases

engineering design
programming language
design process
real world
control program
genetic algorithm
computer vision
knowledge base
multiscale
building blocks
structured data
power consumption
conceptual framework
design methodology
automatic programming