Verification and implementation of software for dependable controllers.
Krzysztof SachaPublished in: Int. J. Crit. Comput. Based Syst. (2010)
Keyphrases
- software systems
- efficient implementation
- software tools
- software implementation
- platform independent
- formal methods
- software design
- cluster of workstations
- hardware design
- software architecture
- software maintenance
- reinforcement learning
- hardware implementation
- computing platform
- model checking
- software development
- java virtual machine
- dedicated hardware
- protocol specification
- user interface