D. Essame

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004

2 EE D. Essame: Handling Safety Critical Requirements in System Engineering Using the B Formal Method . SAFECOMP 2004: 115

1997

1 EE D. Essame, Jean Arlat, David Powell: Available fail-safe systems. FTDCS 1997: 176-182

2004
2	EE	D. Essame: Handling Safety Critical Requirements in System Engineering Using the B Formal Method . SAFECOMP 2004: 115
1997
1	EE	D. Essame, Jean Arlat, David Powell: Available fail-safe systems. FTDCS 1997: 176-182

Coauthor Index

1 Jean Arlat [1]

2 David Powell [1]