Travelled to:1 × Austria
1 × United Kingdom
Collaborated with:∅ P.J.Hopcroft
Talks about:method (2) structur (1) industri (1) softwar (1) develop (1) control (1) benefit (1) formal (1) combin (1) appli (1)
Person: Guy H. Broadfoot
DBLP: Broadfoot:Guy_H=
Contributed to:
2005
2004Wrote 2 papers:
- FM-2005-Broadfoot #cost analysis #formal method #industrial
- ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software (GHB), pp. 548–551.
- ASE-2004-HopcroftB #csp #development
- Combining the Box Structure Development Method and CSP (PJH, GHB), pp. 340–345.