Login / Signup

Stochastic Process Algebra and Stability Analysis of Collective Systems.

Luca BortolussiDiego LatellaMieke Massink
Published in: COORDINATION (2013)
Keyphrases
  • stability analysis
  • nonlinear systems
  • asynchronous circuits
  • formal methods
  • process algebra
  • neural network
  • learning algorithm
  • software engineering
  • building blocks