Elaborating Requirements Using Model Checking and Inductive Learning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel. Elaborating Requirements Using Model Checking and Inductive Learning. IEEE Trans. Software Eng., 39(3):361-383, 2013. [doi]

This author has not been identified. Look up 'Dalal Alrajeh' in GoogleThis author has not been identified. Look up 'Jeff Kramer' in GoogleThis author has not been identified. Look up 'Alessandra Russo' in GoogleThis author has not been identified. Look up 'Sebastián Uchitel' in Google

runs on WebDSL