Login / Signup
B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution.
Dalay Israel de Almeida Pereira
David Déharbe
Matthieu Perin
Philippe Bon
Published in:
RSSRail (2019)
Keyphrases
</>
propositional logic
belief revision
expert systems
finite state machines
state space
possibilistic logic
proof procedure
first order logic
quantified boolean formulae
artificial intelligence
computational intelligence
knowledge based systems
belief change
lattice theory
satisfiability testing