Components of Our Approach to Behavior with Priorities
Components of Our Approach to Behavior with Priorities
Suitable
Mathematical
Notation
Realistic
Examples
Suitable
Description
Languages
Synthesis
Tools
Verification
Tools
Implementation
Environment
"Advanced"
User
Interfaces
1
3
2
5
6
7
4
Intel Review, Nov. ‘91