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

Development

von Gabriel Leen

Taschenbuch

ISBN: 978-3-8383-3728-9

ISBN-10: 3-8383-3728-X

LAP Lambert Academic Publishing · 2010