C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Safety Requirements Specification and Verification for Railway Interlocking Systems.
Li Han
Jing Liu
Tingliang Zhou
Junfeng Sun
Xiaohong Chen
Published in:
COMPSAC (2016)
Keyphrases
</>
safety analysis
requirements specification
cooperative
software engineering
distributed systems
software requirements