Reducing the risk of malfunctions that could ultimately lead to the physical harm of road users is a huge challenge. That's why many of the auto makers turn to formal verification.
from EETimes: http://www.eetimes.com/author.asp?section_id=36&doc_id=1332013&_mc=RSS_EET_EDT
No comments:
Post a Comment