Travelled to:
1 × USA
Collaborated with:
T.H.Bredt
Talks about:
system (1) design (1) verif (1) time (1) real (1)
Person: J. V. Phillips
DBLP: Phillips:J=_V=
Contributed to:
Wrote 1 papers:
- ICSE-1976-PhillipsB #design #realtime #verification
- Design and Verification of Real-Time Systems (JVP, THB), pp. 124–131.