Model for worst case delay analysis of an AFDX network using timed automata.

Muhammad Adnan, Jean-Luc Scharbarg, Jrme Ermont, Christian Fraboul

Browse the full ETFA paper archive.