Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gergely Pintér, István Majzik. Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements. In Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 12-14 October 2005, Heidelberg, Germany. pages 111-120, IEEE Computer Society, 2005. [doi]

This author has not been identified. Look up 'Gergely Pintér' in GoogleThis author has not been identified. Look up 'István Majzik' in Google

runs on WebDSL