Specification and design of concurrent control units.

Georg Klein-Heßling

Published in: Microprocess. Microprogramming (1992)

Keyphrases

control program
computer aided
control structure
database
neural network
artificial intelligence
information systems
expert systems
software engineering
engineering design
formal verification
design procedure
mutual exclusion
real time embedded
highly modular