Automated verification of the FreeRTOS scheduler in Hip/Sleek.
Saved in:
| Title: | Automated verification of the FreeRTOS scheduler in Hip/Sleek. |
|---|---|
| Authors: | Ferreira, João, Gherghina, Cristian1, He, Guanhua2, Qin, Shengchao, s.qin@tees.ac.uk, Chin, Wei-Ngan3 |
| Source: | International Journal on Software Tools for Technology Transfer; Aug2014, Vol. 16 Issue 4, p381-397, 17p |
| Database: | Applied Science & Technology Source |
| ISSN: | 14332779 |
|---|---|
| DOI: | 10.1007/s10009-014-0307-4 |
