Systematic verification of embedded components with re-usable properties.

Ismail Assayad Lamia Eljadiri Abdelouahed Zakari

Published in: WINCOM (2017)

Keyphrases

building blocks
neural network
model checking
embedded systems
desirable properties
data sets
machine learning
website
digital libraries