Login / Signup
Using Formal Methods to increase confidence in one Home Network System implementation: Case study.
Lydie du Bousquet
Masahide Nakamura
Ben Yan
Hiroshi Igaki
Published in:
ISoLA (2007)
Keyphrases
</>
formal methods
case study
home network
formal specification language
formal specification
knowledge based systems
artificial intelligence
software engineering
modeling language
databases
software development
model checking
security policies
protocol specification