Elisabeth A. Nguyen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

2 Elisabeth A. Nguyen, William S. Greenwell, Myron Hecht: Using an assurance case to support independent assessment of the transition to a new GPS ground control system. DSN 2008: 102-107

1 Xiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer: Formal Verification by Reverse Synthesis. SAFECOMP 2008: 305-319

	2008
2		Elisabeth A. Nguyen, William S. Greenwell, Myron Hecht: Using an assurance case to support independent assessment of the transition to a new GPS ground control system. DSN 2008: 102-107
1		Xiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer: Formal Verification by Reverse Synthesis. SAFECOMP 2008: 305-319

Coauthor Index