Login / Signup
Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020).
Stylianos Basagiannis
Anila Mjeda
Gö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