Verification and validation in railway signalling engineering - an application of enterprise systems techniques.
Xiangxian ChenDong WangHai HuangZheng WangPublished in: Enterp. Inf. Syst. (2014)
Keyphrases
- enterprise systems
- business processes
- web services
- engineering design
- model checking
- service systems
- highly dynamic
- verification method
- software engineering
- face verification
- artificial intelligence
- design process
- computer science
- engineering education
- traffic management
- engineering problems
- computer systems
- test cases