An Approach for Verification of a Satellite Simulator - An Evolving System.
Paulo Diego Barbosa Da SilvaAna Maria AmbrosioEmília VillaniDenise Rotondi AzevedoPublished in: LADC (2016)
Keyphrases
- model checking
- remote sensing
- concurrent systems
- data sets
- simulation environment
- simulation model
- face verification
- orbit determination
- asynchronous circuits
- formal methods
- distributed systems
- test bed
- verification method
- test generation
- expert systems
- decision making
- information systems
- data mining
- real world
- databases