Login / Signup

A formal semantics for Grafcet specifications.

Julien ProvostJean-Marc RousselJean-Marc Faure
Published in: CASE (2011)
Keyphrases
  • formal semantics
  • operational semantics
  • formal language
  • modelling language
  • er model
  • first order logic
  • logical reasoning
  • high level
  • logical language
  • modeling language
  • speech acts
  • theorem prover
  • epistemic logic