Practical Specification Techniques for Control-Oriented Systems.
Pamela ZaveDaniel JacksonPublished in: IFIP Congress (1989)
Keyphrases
- complex systems
- distributed systems
- computer systems
- data sets
- control program
- management system
- high level
- real world
- databases
- control system
- artificial intelligence
- intelligent systems
- knowledge based systems
- power system
- retrieval systems
- control strategy
- optimal control
- control strategies
- real time
- human machine interface