Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract).
Jens Chr. GodskesenKim Guldstrand LarsenPublished in: MFCS (1995)
Keyphrases
- extended abstract
- real time systems
- real time
- distributed systems
- embedded systems
- timing constraints
- mission critical
- real time database systems
- object oriented programming language
- embedded real time systems
- real time embedded
- architectural model
- case study
- machine learning
- distributed databases
- software development
- software engineering