Automated verification of the FreeRTOS scheduler in Hip/Sleek - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin. Automated verification of the FreeRTOS scheduler in Hip/Sleek. STTT, 16(4):381-397, 2014. [doi]

This author has not been identified. It may be one of the following persons:

João F. Ferreira

Look up 'João F. Ferreira' in GoogleThis author has not been identified. Look up 'Cristian Gherghina' in GoogleThis author has not been identified. Look up 'Guanhua He' in GoogleThis author has not been identified. Look up 'Shengchao Qin' in GoogleThis author has not been identified. Look up 'Wei-Ngan Chin' in Google

runs on WebDSL