Data Flow Control Systems: an Example of Safety Validation.

Cinzia Bernardeschi Luca Simoncini Andrea Bondavalli

Published in: SAFECOMP (1993)

Keyphrases

data flow
control system
database machine
control flow
safety analysis
object oriented
data transfer
digital signal processing
object oriented software
systolic array
closed loop
image processing
artificial intelligence
management system
distributed systems
industrial automation