4 ms·
"Ada and SPARK enter the automotive ISO-26262 market with Nvidia", 100 comments, https://news.ycombinator.com/item?id=44184861 https://news.ycombinator.com/item
by transpute 1y ago
"Ada and SPARK enter the automotive ISO-26262 market with Nvidia", 100 comments, https://news.ycombinator.com/item?id=44184861 https://news.ycombinator.com/item?id=44184861