Login / Signup
Specifying industrial real-time systems in a logical framework.
Emanuele Ciapessoni
Edoardo Corsetti
Manlio Migliorati
Elena Ratto
Published in:
ICLP Workshop: Applications of Logic Programming to Software Engineering (1994)
Keyphrases
</>
real time systems
logical framework
inference rules
real time
distributed systems
belief revision
embedded systems
reasoning tasks
architectural model
real time database systems
linear logic
normative systems
timing constraints
decision making
object oriented programming language
decision problems
general purpose