Login / Signup
A Survey of Formal Methods Applied to Leader Election in IEEE 1394.
Savi Maharaj
Carron Shankland
Published in:
J. Univers. Comput. Sci. (2000)
Keyphrases
</>
formal methods
knowledge based systems
provably correct
formal specification
wireless sensor networks
fine grained
model checking
safety critical
computer society