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

Jrme Ermont, Christian Fraboul

Browse the full ETFA paper archive.