Formal Analysis of a Triplex Sensor Voter in an Industrial Context.

Michael Dierkes

Published in: FMICS (2011)

Keyphrases

formal analysis
contextual information
agent model
formal methods
real time
sensor networks
ban logic
sensor data
databases
artificial intelligence
context aware
context sensitive
multi sensor
industrial applications