Formal Modeling and Analysis of the AFDX Frame Management Design.

Madhukar Anand Steve Vestal Samar Dajani-Brown Insup Lee

Published in: ISORC (2006)

Keyphrases

impact analysis
decision making
case study
object oriented
information management
engineering design
data sets
databases
decision support
petri net
computer aided
modeling tool
requirements analysis
model validation