Login / Signup

Formal semantics of modular time refinement in AutoFocus.

David Trachtenherz
Published in: Comput. Sci. Res. Dev. (2013)
Keyphrases
  • formal semantics
  • modeling language
  • operational semantics
  • formal language
  • logical language
  • er model
  • first order logic
  • speech acts
  • modelling language
  • logical reasoning
  • sar images
  • ontology languages
  • open source