Specification and Refinement of Continuous Real-Time Systems.
S. J. GoldsackKevin LanoEugène DürrPublished in: ARTS (1997)
Keyphrases
- real time systems
- reactive systems
- real time
- distributed systems
- embedded systems
- hybrid automata
- mission critical
- real time database systems
- timing constraints
- object oriented programming language
- formal specification
- architectural model
- high level
- low cost
- real time embedded
- embedded real time systems
- conceptual model
- multi agent
- web services