Login / Signup
Formal specification and analysis of zeroconf using uppaalS.
Jasper Berendsen
Biniam Gebremichael
Frits W. Vaandrager
Miaomiao Zhang
Published in:
ACM Trans. Embed. Comput. Syst. (2011)
Keyphrases
</>
formal specification
databases
specification language
object oriented design
real world
data sources
concurrent systems