Cristian Gherghina
AuthID: R-00H-HRA
1
TITLE: Automated verification of the FreeRTOS scheduler in Hip/Sleek
AUTHORS: João F Ferreira; Cristian Gherghina; Guanhua He; Shengchao Qin; Wei Ngan Chin;
PUBLISHED: 2014, SOURCE: STTT, VOLUME: 16, ISSUE: 4
AUTHORS: João F Ferreira; Cristian Gherghina; Guanhua He; Shengchao Qin; Wei Ngan Chin;
PUBLISHED: 2014, SOURCE: STTT, VOLUME: 16, ISSUE: 4
INDEXED IN: 
DBLP
DBLP