Sign in
Formal Specification Based Automatic Test Generation for Embedded Network Systems.
Eun-Hye Choi
Hideaki Nishihara
Takahiro Ando
Nguyen Van Tang
Masahiro Aoki
Keiichi Yoshisaka
Osamu Mizuno
Hitoshi Ohsaki
Published in:
J. Appl. Math. (2014)
Keyphrases
</>
formal specification
test generation
formal methods
design automation
model checking
specification languages
expert systems
distributed systems
object oriented design
real world
relational databases
building blocks
complex systems
specification language