Travelled to:1 × France
1 × USA
Collaborated with:L.Whiting ∅
Talks about:parasit (1) monitor (1) languag (1) analysi (1) safeti (1) requir (1) flight (1) hawk (1)
Person: Mike Hill
DBLP: Hill:Mike
Contributed to:
1999
1996Wrote 2 papers:
- PASTE-1999-WhitingH #analysis #monitoring #safety
- Safety Analysis of Hawk in Flight Monitor (LW, MH), pp. 32–38.
- ICRE-1996-Hill #requirements
- Parasitic Languages for Requirements (MH), pp. 69–75.