Login / Signup

Interactive Formal Specification for Mathematical Problems of Engineers.

Walther Neuper
Published in: ThEdu@CADE (2023)
Keyphrases
  • formal specification
  • formal methods
  • specification languages
  • specification language
  • model checking
  • reverse engineering
  • artificial intelligence
  • knowledge base
  • expert systems
  • computational intelligence