TU Braunschweig

Symbolfoto

Liu, Jieyu:
Preformability Analysis and Validation of a Large Scale Fielbus system by Formal Methods.
Dissertation, Technische Universität Braunschweig, , November 2016.

Kurzfassung:

SmallCAN; Busload Validation; Concurrent-Message-Sending; Emergent Message Burst


zum Seitenanfang
eine Seite zurück
http://www.iva.ing.tu-bs.de?iT=27_815&id_select=1198