iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems.
| Autor: | Liu, Han, Zhang, Hehua, Jiang, Yu, Song, Xiaoyu, Gu, Ming, Sun, Jiaguang |
|---|---|
| Zdroj: | 2014 Theoretical Aspects of Software Engineering Conference; 2014, p193-200, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|