Login / Signup

Formal specification and analysis of zeroconf using uppaalS.

Jasper BerendsenBiniam GebremichaelFrits W. VaandragerMiaomiao Zhang
Published in: ACM Trans. Embed. Comput. Syst. (2011)
Keyphrases
  • formal specification
  • databases
  • specification language
  • object oriented design
  • real world
  • data sources
  • concurrent systems