Login / Signup
A logic-based approach for real-time object-oriented software development.
Fernando Náufel do Amaral
Edward Hermann Haeusler
Published in:
RITA (2000)
Keyphrases
</>
real time
object oriented software development
modal logic
moving objects
object relational