C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verification Tool of Software Requirement for Network Software.
Tao He
Liping Li
Huazhong Li
Published in:
ICICA (LNCS) (2011)
Keyphrases
</>
software tools
software development
software package
computer systems
software platform
software architecture
formal methods
computer networks
hardware designs
software application
software design
data flow
network model
data sets
model checking
open source
case study
website
information systems