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

Muhammad Adnan Jean-Luc Scharbarg Jérôme Ermont Christian Fraboul

Published in: ETFA (2010)

Keyphrases

probabilistic model
worst case
network model
theoretical analysis
mathematical model
network traffic
network structure
computer networks
wireless sensor networks
computational model
steady state
neural network model
theorem proving