D. Essame

According to our database¹, D. Essame authored at least 2 papers between 1997 and 2004.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2004

Handling Safety Critical Requirements in System Engineering Using the B Formal Method .

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2004

1997

Available fail-safe systems.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997