Login / Signup
Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study.
Alberto Valderruten
Javier Mosquera
Víctor M. Gulías
Published in:
Computer Performance Evaluation (Tools) (1998)
Keyphrases
</>
reactive systems
temporal logic
information flow
model checking
petri net
formal methods
case study
real time systems
test bed
databases
control flow
data acquisition
distributed systems
neural network
real time
asynchronous communication
state machines