Login / Signup
Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks.
Ananda Basu
Laurent Mounier
Marc Poulhiès
Jacques Pulou
Joseph Sifakis
Published in:
NCA (2007)
Keyphrases
</>
distributed systems
data sets
neural network
knowledge based systems
artificial intelligence
social networks
multimedia
network protocols
database
asynchronous circuits
telecommunication networks
computational models
complex networks
network structure
model checking
complex systems
learning systems
intelligent systems
database systems
learning algorithm
real world