Can I read NSV 2019 Workshop Proceedings on EtoBox?
NSV 2019 Workshop Proceedings by scarletth.er.nandezub8433 is a document available to read on EtoBox.
What is NSV 2019 Workshop Proceedings about?
The document details the proceedings of the 12th International Workshop on Numerical Software Verification (NSV 2019) held in New York City, focusing on the unique challenges of verifying numerical algorithms in digital systems. It highlights the importance of developing logical and mathematical techniques for ensuring programmability and reliability in cyber-physical systems, with contributions from high-profile speakers and various tutorials. The workshop featured discussions on automation in driving task
- Author
- scarletth.er.nandezub8433
- Language
- EN