Login / Signup

Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis.

Jan BessaiMoritz RoidlAnna Vasileva
Published in: F-IDE@FM (2019)
Keyphrases
  • domain experts
  • cyber physical systems
  • domain knowledge
  • knowledge acquisition
  • domain specific
  • cyber physical
  • knowledge base
  • real time
  • physical world
  • association rules
  • fuzzy logic
  • general purpose
  • cyber security