James Blow

According to our database¹, James Blow authored at least 3 papers between 2002 and 2005.

Collaborative distances:

Awards

IEEE Fellow 1988, "For contributions to the understanding of radiation effects on semiconductor devices, microcircuits, and electronic systems.".

Book

In proceedings

Article

PhD thesis

Dataset

Other

2005

Modular Certification of Integrated Modular Systems.

[BibT_eX]

[DOI]

Proceedings of the Constituents of Modern System-safety Thinking, 2005

2002

Use of formal methods in the development of safety critical control software.

[BibT_eX]

[DOI]

PhD thesis, 2002

Generalised Substitution Language and Differentials.

[BibT_eX]

[DOI]

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002