Login / Signup
A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software.
Masahiko Watanabe
Akira Fukuda
Michihiro Matsumoto
Hirokazu Yatsu
Ichiro Hosotani
Shigeyuki Kido
Published in:
QSIC (2007)
Keyphrases
</>
model checking
embedded software
temporal logic
distributed systems
software architecture
verification method
case study
formal specification
evaluation model