Towards a Static Check of FMUs in VDM-SL.

Nick Battle Casper Thule Cláudio Gomes Hugo Daniel Macedo Peter Gorm Larsen

Published in: FM Workshops (2) (2019)

Keyphrases

dynamic analysis
real time
training data
neural network
website
multi agent systems
object recognition
input image
reverse engineering