Improving Flexibility in Embedded System Runtime Verification with Python.

Wanjin Zhou Feifei Hu Junyan Ma

Published in: ISSRE Workshops (2022)

Keyphrases

open source
programming language
neural network
data sets
database
model checking
artificial neural networks
verification method
open source software
distributed systems
object oriented
video sequences
image processing
knowledge base
decision making
feature selection
computer vision
machine learning