Frama-C: A software analysis perspective.

Florent Kirchner Nikolai Kosmatov Virgile Prevosto Julien Signoles Boris Yakobowski

Published in: Formal Aspects Comput. (2015)

Keyphrases

statistical analysis
multiscale
data analysis
software tools
feature selection
image processing
web services
computer systems
software systems
software architecture