Structuring and Design of Reactive Systems Using RSDS and B.

Kevin Lano Kelly Androutsopoulos David Clark

Published in: FASE (2000)

Keyphrases

reactive systems
case study
building blocks
embedded systems
databases
database systems
object oriented
intrusion detection
design principles
engineering design