| タイトル | Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems |
| 著者（英） | Holzmann, Gerard; Gamble, Edward; McKelvin, Mark L., Jr. |
| 著者所属（英） | Jet Propulsion Lab., California Inst. of Tech. |
| 発行日 | 2011-12-12 |
| 言語 | eng |
| 内容記述 | No abstract available |
| NASA分類 | Computer Programming and Software |
| 権利 | Copyright |
|
