Control Software Specification and Design: An Overview.

Cláudio Walter

Published in: Computer (1984)

Keyphrases

control software
data sets
design tools
software design
formal verification
real time
genetic algorithm
social networks
design decisions
website
multi agent
formal specification
optimal design