|
US2013201817A1
|
|
Fault detection and mitigation for in-vehicle LAN network management
|
|
US2013136007A1
|
|
Integrated fault diagnosis and prognosis for in-vehicle communications
|
|
US2012246108A1
|
|
Efficient source of infeasibility identification in timed automata traces
|
|
US2012177059A1
|
|
Message loss prevention by using sender and receiver buffers in event-triggered distributed embedded real-time systems
|
|
US2012176895A1
|
|
Message loss prevention by using sender buffer and traffic shaping in event-triggered distributed embedded real-time systems
|
|
US2010180003A1
|
|
Message loss prevention in can systems
|
|
US2007271204A1
|
|
Verification of linear hybrid automaton
|
|
US2007081473A1
|
|
Reconfigurable communication for distributed embedded systems
|
|
US2006242252A1
|
|
Extensible scheduling of messages on time-triggered busses
|
