Formal design of self-stabilizing programs.

I. S. W. B. Prasetya S. Doaitse Swierstra

Published in: J. High Speed Networks (2005)

Keyphrases

design process
automatic programming
case study
data mining
optimal design
application programs
databases
neural network
information systems
database systems
relational databases
evolutionary algorithm
building blocks
conceptual model
design principles
formal specification