Verified Software Units for Simple DFA Modules and Objects in C.

Lennart Beringer

Published in: ISoLA (2) (2022)

Keyphrases

software systems
software development
databases
software modules
simple examples
software package
software tools
neural network
source code
software components
d objects
open source
viewpoint
moving objects
spatial relations
spatial relationships
computer vision
complex scenes
functional modules
data sets
database