Sign in

Mechanically Proving Determinacy of Hierarchical Block Diagram Translations.

Viorel PreoteasaIulia DragomirStavros Tripakis
Published in: VMCAI (2019)
Keyphrases
  • machine translation
  • coarse to fine
  • theorem prover
  • hierarchical classification
  • real time
  • databases
  • information retrieval
  • natural language processing
  • hierarchical representation
  • uml activity diagrams