![](/img/cover-not-exists.png)
[IEEE 2018 IEEE 4th International Conference on Computer and Communications (ICCC) - Chengdu, China (2018.12.7-2018.12.10)] 2018 IEEE 4th International Conference on Computer and Communications (ICCC) - A Model-driven Approach for Formal Verification of Embedded Systems Using Timed Colored Petri Nets
Moin, Faleeha, Azam, Farooque, Anwar, Muhammad WaseemYear:
2018
DOI:
10.1109/compcomm.2018.8780731
File:
PDF, 881 KB
2018