FlowDroid
- 期刊名称ACM SIGPLAN Notices
- 作者Arzt, Steven; Rasthofer, Siegfried; Fritz, Christian; Bodden, Eric; Bartel, Alexandre; Klein, Jacques; Le Traon, Yves; Octeau, Damien; McDaniel, Patrick
- 卷第49卷
- 期第6期
- 印刷ISSN0362-1340
- 文件大小397.38KB
- 发表时间2014-06-05
- DOI10.1145/2666356.2594299
- 页码259-269
同标题推荐
[IEEE 2014 22nd Iranian Conference on Electrical Engineering (ICEE) - Tehran, Iran (2014.5.20-2014.5.22)] 2014 22nd Iranian Conference on Electrical Engineering (ICEE) - High efficiency class E power amplifier with drain source merging techniquePadash, Mohsen; Dehqan, Ali; Yargholi, Mostafa; Toofan, Siroos · 2014
[IEEE 2014 22nd Iranian Conference on Electrical Engineering (ICEE) - Tehran, Iran (2014.5.20-2014.5.22)] 2014 22nd Iranian Conference on Electrical Engineering (ICEE) - An improved Η<inf>∞</inf> approach for networked control systems with transmission delays and packet dropoutFarsi, Milad; Farnam, Arash; Esfanjani, Reza Mahboobi · 2014