ParentsSign in to add mentor
ChildrenSign in to add trainee
CollaboratorsSign in to add collaborator
BETA: Related publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.
|Mondragon OA, Gates AQ, Roach S, et al. (2007) Generating properties for runtime monitoring from software specification patterns International Journal of Software Engineering and Knowledge Engineering. 17: 107-126|
|Mondragon OA, Gates AQ, Roach SM. (2003) Composite propositions: Toward support for formal specification of system properties Proceedings - 27th Annual Nasa Goddard / Ieee Software Engineering Workshop, Sew 2002. 67-74|