Travelled to:
1 × Italy
Collaborated with:
J.A.Keane
Talks about:
parallel (1) determin (1) approach (1) resourc (1) report (1) formal (1) experi (1) bind (1)
Person: Walter Hussak
DBLP: Hussak:Walter
Contributed to:
Wrote 1 papers:
- ICSE-1994-KeaneH #approach #case study #experience #formal method #parallel
- A Formal Approach to Determining Parallel Resource Bindings: Experience Report (JAK, WH), pp. 15–22.