iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/tase/FerreiraHQ12
dblp: Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK.

"Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK."

João F. Ferreira, Guanhua He, Shengchao Qin (2012)

Details and statistics

DOI: 10.1109/TASE.2012.45

access: closed

type: Conference or Workshop Paper

metadata version: 2023-03-24

Open Alex

Please note: Providing information about references and citations is only possible thanks to to the open metadata APIs provided by crossref.org and opencitations.net. If citation data of your publications is not openly available yet, then please consider asking your publisher to release your citation data to the public. For more information please see the Initiative for Open Citations (I4OC). Please also note that there is no way of submitting missing references or citation data directly to dblp.

Please also note that this feature is work in progress and that it is still far from being perfect. That is, in particular,

JavaScript is requires in order to retrieve and display any references and citations for this record.