'Generating Properties for Runtime Monitoring from Software Specification Patterns,'
Document Type Conference Proceeding
Abstract
Mondragon, O., Gates, A., Mendoza, H., Sokolsky, O., 'Generating Properties for Runtime Monitoring from Software Specification Patterns,' Proceedings 17th International Conference on Software Engineering and Knowledge Engineering, July 25.
This paper has been withdrawn.