Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks.
Ananda BasuLaurent MounierMarc PoulhièsJacques PulouJoseph SifakisPublished 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