Inproceedings,

Modeling a spacewire architecture using timed automata to compute worst-case end-to-end delays.

, and .
ETFA, page 1-4. IEEE, (2013)

Meta data

Tags

Users

  • @dblp

Comments and Reviews