From high-level component-based models to distributed implementations.

Borzoo Bonakdarpour Marius Bozga Mohamad Jaber Jean Quilbeuf Joseph Sifakis

Published in: EMSOFT (2010)

Keyphrases

high level
low level
statistical models
databases
cooperative
probabilistic model
source code
autoregressive
real time
classification models
computational models
computer networks
complex systems
peer to peer
programming language
search algorithm
data structure
multi agent
data sets