The validation and implementation of real-time robotics systems using Cleopatra object-oriented physically-correct specifications.
Azer BestavrosPublished in: OOPS Messenger (1996)
Keyphrases
- real time
- object oriented
- artificial intelligence
- computer vision
- real time systems
- cell processor
- successful deployment
- specification language
- computer systems
- distributed systems
- expert systems
- learning environment
- high speed
- data management
- vision system
- intelligent systems
- low cost
- database applications
- efficient implementation
- formal specification
- control system
- telecommunication systems
- high level