Modular deductive verification of sampled-data systems.

Daniel Ricketts Gregory Malecha Sorin Lerner

Published in: EMSOFT (2016)

Keyphrases

sampled data
decision trees
data analysis
multi class