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: |