Development and Formal Verification of TTCAN. Time-Triggered Controller Area Network

Development and Formal Verification of TTCAN. Time-Triggered Controller Area Network

Gabriel Leen

     

бумажная книга



Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-3-8383-3728-9
Объём: 224 страниц
Масса: 362 г
Размеры(В x Ш x Т), см: 23 x 16 x 2

Каталог