Travelled to:2 × USA
Collaborated with:B.Wood J.D.Riley S.Dungari
Talks about:technolog (1) implement (1) download (1) softwar (1) pattern (1) instanc (1) analysi (1) vetron (1) verifi (1) report (1)
Person: William Pritchett
DBLP: Pritchett:William
Contributed to:
20011997Wrote 2 papers:
- SIGAda-2001-PritchettW #case study #experience
- Vetronics technology testbed: experience report (WP, BW), pp. 115–116.
- TRI-Ada-1997-RileyDP #analysis #implementation #verification
- An Instance of the Application Download Pattern: The SPAIDS Software Loader/Verifier Domain Analysis and Implementation (JDR, SD, WP), pp. 273–278.