Autor der Publikation

Abstracting Single Event Transient characteristics variations due to input patterns and fan-out.

, , , und . ISCAS, Seite 1468-1471. IEEE, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Optimum domain partitioning to increase functional verification coverage., und . ISQED, Seite 419-423. IEEE, (2015)Abstracting Single Event Transient characteristics variations due to input patterns and fan-out., , , und . ISCAS, Seite 1468-1471. IEEE, (2014)Applying formal verification to early assessment of FPGA-based aerospace applications: Methodology and experience., , und . SysCon, Seite 1-6. IEEE, (2016)An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs., , und . J. Comput. Sci. Technol., 24 (1): 76-95 (2009)Multipath Routing of Mixed-Critical Traffic in Time Sensitive Networks., , und . IEA/AIE, Volume 11606 von Lecture Notes in Computer Science, Seite 504-515. Springer, (2019)On the non-termination of MDGs-based abstract state enumeration., , und . CHARME, Volume 105 von IFIP Conference Proceedings, Seite 218-235. Chapman & Hall, (1997)Automatic verification of reduction techniques in Higher Order Logic., , und . Formal Aspects Comput., 25 (6): 971-991 (2013)Towards Safe and Robust Closed-Loop Artificial Pancreas Using Improved PID-Based Control Strategies., , und . IEEE Trans. Circuits Syst. I Regul. Pap., 68 (8): 3147-3157 (2021)Automatic mapping of AF3 specifications to ARM cortex-M based FRDM platfrom., , und . ICM, Seite 232-235. IEEE, (2014)Layout-based reliability analysis of openMSP430 register file under external radiations., , und . ICM, Seite 294-297. IEEE, (2023)