Login / Signup

Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020).

Stylianos BasagiannisAnila MjedaGötz Botterweck
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2020)
Keyphrases
  • industrial applications
  • product configuration
  • formal verification
  • test generation
  • real time
  • information systems
  • test set
  • computer vision
  • test cases
  • model checking
  • signature verification
  • eu funded project