Formal Specification of Railway Control Systems.
Bingqing XuLichen ZhangPublished in: EMC/HumanCom (2013)
Keyphrases
- formal specification
- control system
- model checking
- object oriented design
- specification languages
- specification language
- reverse engineering
- process algebra
- concurrent systems
- formal methods
- data abstraction
- fuzzy logic
- temporal logic
- formal verification
- software components
- data model
- database
- cooperative
- case study
- databases