Developing mode-rich satellite software by refinement in Event-B.
Alexei IliasovElena TroubitsynaLinas LaibinisAlexander B. RomanovskyKimmo VarpaaniemiDubravka IlicTimo LatvalaPublished in: Sci. Comput. Program. (2013)
Keyphrases
- software systems
- event detection
- design and implementation issues
- software development
- software architecture
- software projects
- software components
- software tools
- software design
- high level
- source code
- information retrieval
- remote sensing
- hardware design
- event driven
- data mining
- case study
- software packages
- software developers
- development process
- news articles
- neural network
- control system