|
|||||
|
|
An evaluation of approaches to model checking real-time task schedulability analysis |
|
| Authors: | Nxumalo Madoda Timm Nils Gruner Stefan |
| Affiliation: | 1.University of Pretoria, Pretoria, South Africa ;2.University of Eswatini, Kwaluseni, Eswatini ; |
| Abstract: | International Journal on Software Tools for Technology Transfer - This article is a follow-up contribution that extends the conference paper (Nxumalo, in: Laarman, Sokolova (eds)Model Checking... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |