共 50 条
- [2] Minerva: Automated Hardware Optimization Tool [J]. 2017 INTERNATIONAL CONFERENCE ON RECONFIGURABLE COMPUTING AND FPGAS (RECONFIG), 2017,
- [3] PEREGRINE: A Tool for the Analysis of Population Protocols [J]. COMPUTER AIDED VERIFICATION (CAV 2018), PT I, 2018, 10981 : 604 - 611
- [6] Muse makes tool for ATC research [J]. AVIATION WEEK & SPACE TECHNOLOGY, 1999, 151 (17): : 94 - 94
- [7] SECURITY, A KEY FACTOR IN THE IMPLEMENTATION OF ATC [J]. REVISTA GENERAL DE DERECHO ADMINISTRATIVO, 2011, (27):
- [8] ATC - USEFUL TOOL IN ADR MONITORING [J]. PHARMACEUTISCH WEEKBLAD-SCIENTIFIC EDITION, 1987, 9 (06) : 331 - 331
- [9] The year in review - ATC 2002 [J]. AMERICAN JOURNAL OF TRANSPLANTATION, 2003, 3 (04) : 373 - 380
- [10] A year in review in Minerva Anestesiologica 2017 [J]. MINERVA ANESTESIOLOGICA, 2018, 84 (02) : 269 - 282