Travelled to:1 × France
2 × USA
Collaborated with:E.J.Younger Z.Luo K.H.Bennett
Talks about:revers (3) engin (3) program (2) concurr (2) analysi (2) formal (2) model (2) use (2) system (1) safeti (1)
Person: T. M. Bull
DBLP: Bull:T=_M=
Contributed to:
1996
19961995Wrote 3 papers:
- ICSM-1996-YoungerLBB #analysis #concurrent #formal method #modelling #reverse engineering #source code #using
- Reverse Engineering Concurrent Programs using Formal Modelling and Analysis (EJY, ZL, KHB, TMB), pp. 255–264.
- WCRE-1996-YoungerLBB #analysis #concurrent #formal method #modelling #reverse engineering #source code #using
- Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis (EJY, ZL, KHB, TMB), pp. 239–248.
- ICSM-1995-BullYBL #named #reverse engineering #safety
- Bylands: reverse engineering safety-critical systems (TMB, EJY, KHB, ZL), pp. 358–366.