Departmental Papers (CIS)

Formal Modeling and Analysis of the AFDX Frame Management Design

Madhukar Anand, University of Pennsylvania
Samar Dajani-Brown, Honeywell Technology Center
Steve Vestal, Honeywell Technology Center
Insup Lee, University of Pennsylvania

Document Type Conference Paper

Replaced by http://repository.upenn.edu/cis_papers/246.

Abstract

Replaced by http://repository.upenn.edu/cis_papers/246

 

Date Posted: 06 December 2006