Login / Signup
Interactive and Reactive Systems: States, Observations, Experiments, Input, Output, Nondeterminism, Compositionality and all That.
Manfred Broy
Published in:
Foundations of Computer Science: Potential - Theory - Cognition (1997)
Keyphrases
</>
input output
reactive systems
internal states
state transition
fuzzy model
noise cancellation
temporal logic
model checking
petri net
information flow
single phase
real time
fuzzy inference system
ibm zenterprise
nonlinear functions
situation calculus
business process
neural network