Electronics designed for use in aerospace vehicles.
forum
Submitted by Anonymous on Mon, 10/08/2018 - 8:40am
forum
Submitted by Anonymous on Wed, 03/14/2018 - 2:11pm
CALL FOR PAPERS
July 18-19, 2018 | Oxford, UK | https://nsv-2018.github.io/nsv2018/
Federated Logic Conference (FLoC) 2018
We are pleased to invite you to submit papers to the 11th International Workshop on Numerical Software Verification (NSV 2018).
Important Dates
event
Submitted by Anonymous on Wed, 03/14/2018 - 2:10pm
11th International Workshop on Numerical Software Verification (NSV 2018)
Federated Logic Conference (FLoC) 2018
forum
Submitted by Anonymous on Wed, 03/14/2018 - 1:24pm