共 50 条
[1]
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
[J].
PROCEEDINGS OF THE 20TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS WEEK) (HSCC' 17),
2017,
:197-206
[3]
Actel, 2002, UND SOFT FIRM ERRORS
[4]
[Anonymous], 2012, PIN A DYNAMIC BINARY
[5]
[Anonymous], 2016, ABS161003295 CORR
[6]
[Anonymous], 2010, EMSOFT, DOI DOI 10.1145/1879021.1879024
[7]
[Anonymous], 2010, Amber ARM-Compatible Core
[9]
Banerjee S, 2016, 2016 17TH IEEE LATIN-AMERICAN TEST SYMPOSIUM (LATS), P182, DOI 10.1109/LATW.2016.7483362
[10]
Banerjee S, 2015, IEEE INT ON LINE, P53, DOI 10.1109/IOLTS.2015.7229832