Login / Signup
Synthesizing Distinguishing Formulae for Real Time Systems.
Jens Chr. Godskesen
Kim Guldstrand Larsen
Published in:
Nord. J. Comput. (1995)
Keyphrases
</>
real time systems
real time
distributed systems
real time database systems
timing constraints
embedded systems
mission critical
object oriented programming language
embedded real time systems
artificial intelligence
architectural model
real time embedded