Towards validated real-time software.
Valérie BertinMichel PoizeJacques PulouJoseph SifakisPublished in: ECRTS (2000)
Keyphrases
- real time
- real time systems
- low cost
- software systems
- software development
- commercial software
- information systems
- vision system
- dedicated hardware
- computer software
- software design
- computer systems
- source code
- quality of service
- software architecture
- development process
- software projects
- software tools
- high speed
- software testing
- software quality
- software package
- control system
- database systems
- information retrieval
- software platform
- database