共 27 条
- [1] [Anonymous], 2017, C MOD DRIV ENG SOFTW
- [2] Apvrille L, 2019, DESIGN AUTOMATION TE
- [4] Batori G, 2007, LECT NOTES COMPUT SC, V4735, P316
- [5] Timed automata: Semantics, algorithms and tools [J]. LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS, 2004, 3098 : 87 - 124
- [6] Berrayana S, 2004, LECT NOTES COMPUT SC, V3149, P846
- [7] Blanchet B., 2016, MODELING VERIFYING S
- [8] Corner D., 2003, NETWORK SYSTEMS DESI
- [9] An MDA approach for the generation of communication adapters integrating SW and FW components from simulink [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8767 : 353 - 369