Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic.

Sumesh Divakaran Deepak D'Souza M. Raj Mohan

Published in: TIME (2010)

Keyphrases

real time
metric temporal logic
formal specification
low cost
conflict resolution
databases
data mining
high level
real time systems