On Specifying Real-Time Systems in a Causality-Based Setting.

Joost-Pieter Katoen Rom Langerak Diego Latella Ed Brinksma

Published in: FTRTFT (1996)

Keyphrases

real time systems
real time
distributed systems
embedded systems
real time database systems
timing constraints
real time embedded
causal relationships
mission critical
embedded real time systems
artificial neural networks
cooperative
database
machine learning
data model
information processing
causal models