Gnokam Defo, Gilles Bertrand: A framework for assertion-based timing verification and PC-based restbus simulation of automotive systems. 2015
Inhalt