Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites.
Zhaoguang PengYu LuAlice MillerTingdi ZhaoChris W. JohnsonPublished in: Qual. Reliab. Eng. Int. (2016)
Keyphrases
- quantitative analysis
- formal specification
- model checking
- qualitative analysis
- specification languages
- specification language
- object oriented design
- qualitative evaluation
- process algebra
- remote sensing
- concurrent systems
- formal methods
- data abstraction
- reverse engineering
- qualitative and quantitative analysis
- information systems
- software engineering
- business rules
- fine grained