John D. Riley, Sangiv Dungari, William Pritchett. An Instance of the Application Download Pattern: The SPAIDS Software Loader/Verifier Domain Analysis and Implementation. In TRI-Ada. pages 273-278, 1997. [doi]
@inproceedings{RileyDP97,
title = {An Instance of the Application Download Pattern: The SPAIDS Software Loader/Verifier Domain Analysis and Implementation},
author = {John D. Riley and Sangiv Dungari and William Pritchett},
year = {1997},
doi = {10.1145/269629.269656},
url = {http://doi.acm.org/10.1145/269629.269656},
tags = {domain analysis, analysis},
researchr = {https://researchr.org/publication/RileyDP97},
cites = {0},
citedby = {0},
pages = {273-278},
booktitle = {TRI-Ada},
}