Sam Procter, John Hatcliff, Sandy Weininger, Anura Fernando. Error Type Refinement for Assurance of Families of Platform-Based Systems. In Floor Koornneef, Coen van Gulijk, editors, Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings. Volume 9338 of Lecture Notes in Computer Science, pages 95-106, Springer, 2015. [doi]
@inproceedings{ProcterHWF15, title = {Error Type Refinement for Assurance of Families of Platform-Based Systems}, author = {Sam Procter and John Hatcliff and Sandy Weininger and Anura Fernando}, year = {2015}, doi = {10.1007/978-3-319-24249-1_9}, url = {http://dx.doi.org/10.1007/978-3-319-24249-1_9}, researchr = {https://researchr.org/publication/ProcterHWF15}, cites = {0}, citedby = {0}, pages = {95-106}, booktitle = {Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings}, editor = {Floor Koornneef and Coen van Gulijk}, volume = {9338}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-24248-4}, }