共 33 条
- [1] [Anonymous], TECHNICAL REPORT
- [2] [Anonymous], 2014, SPIN FORMAL VERIFICA
- [3] [Anonymous], 2012, 2012 DES AUT TEST EU, DOI DOI 10.1109/DATE.2012.6176588
- [4] [Anonymous], 2014, CLANG C LANGUAGE FAM
- [5] [Anonymous], 2014, Llvm compiler infrastructure
- [6] [Anonymous], 2014, GNU RADIO FRAMEWORK
- [7] Bebelis V., 2013, 2013 P INT C EMB SOF, P1
- [8] Bebelis V., 2013, 17 WORKSH COMP PAR C
- [9] Berg H., 2008, SYSTEM ON CHIP, P1
- [10] Synthesis of embedded software from synchronous dataflow specifications [J]. JOURNAL OF VLSI SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 1999, 21 (02): : 151 - 166