Login / Signup

Human- and Machine-Readable Requirements Formulation for Lab Verification Automation.

Marc HuppmannManuel HarrantThomas NirmaierAndi BuzoLinus MaurerGeorg Pelz
Published in: ICECS (2021)
Keyphrases
  • model checking
  • human interaction
  • neural network
  • data mining
  • artificial intelligence
  • website
  • case study
  • application specific
  • human operators
  • virtual laboratory