Automatic Test Set Generation for Function Block Based Systems Using Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jussi Lahtinen. Automatic Test Set Generation for Function Block Based Systems Using Model Checking. In 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014, Guimaraes, Portugal, September 23-26, 2014. pages 216-225, IEEE, 2014. [doi]

This author has not been identified. Look up 'Jussi Lahtinen' in Google

runs on WebDSL