Formal and simulation-based timing analysis of Industrial-Ethernet sercos III over TSN.

Seifeddine Nsaibi Ludwig Leurs Hans D. Schotten

Published in: DS-RT (2017)

Keyphrases

industrial applications
formal model
high speed
data acquisition
industrial environment
artificial intelligence
image processing
formal specification
formal representation