Modeling Heterogeneous Real-time Components in BIP.

Ananda Basu Marius Bozga Joseph Sifakis

Published in: SEFM (2006)

Keyphrases

real time
vision system
image processing
high speed
building blocks
artificial intelligence
information systems
e learning
website
bayesian networks
control system
wireless sensor networks
probabilistic model
low cost
software components
modeling method