Employing a Real- Time System Specification for the Development of FRTS Systems.
Dimosthenis AnagnostopoulosVassilis DalakasMara NikolaidouVassilios C. VescoukisPublished in: ESM (2002)
Keyphrases
- real time
- intelligent transportation systems
- real time systems
- safety critical
- knowledge based systems
- formal methods
- software engineering
- distributed systems
- historical perspective
- intelligent systems
- building blocks
- complex systems
- management system
- communication technologies
- expert systems
- technical issues
- enabling technologies
- intelligent vehicles
- highly modular
- formal specification
- computer systems
- decision support
- vision system
- data sets