BT
rss

Certifying Your Car with Erlang

Posted by John Hughes  on  Sep 20, 2012 2 Posted by John Hughes  on  Sep 20, 2012 2

John Hughes explains how Quviq tests embedded ECU software for AUTOSAR compliance using QuickCheck.

BT