Amanote Research
Register
Sign In
Formal Analysis of Robustness at Model and Code Level
doi 10.1145/2883817.2883824
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2016
Authors
Timothy E. Wang
Pierre-Loïc Garoche
Pierre Roux
Romain Jobredeaux
Éric Féron
Publisher
ACM Press