Login / Signup
Using formal methods to increase confidence in a home network system implementation: a case study.
Lydie du Bousquet
Masahide Nakamura
Ben Yan
Hiroshi Igaki
Published in:
Innov. Syst. Softw. Eng. (2009)
Keyphrases
</>
formal methods
home network
formal specification language
case study
formal specification
artificial intelligence
software engineering
knowledge based systems
model checking
temporal logic
development process
protocol specification