Transformational Formal Development of Real-Time Systems.
Kevin LanoArturo SanchezPublished in: ARTS (1997)
Keyphrases
- real time systems
- embedded real time systems
- embedded systems
- distributed systems
- real time
- software engineering
- open source
- development process
- information processing
- real time embedded
- architectural model
- real time database systems
- case study
- database management systems
- rapid prototyping
- dynamic programming
- reactive systems
- artificial neural networks
- artificial intelligence