Gorbunov, Iury V.
27  Ergebnisse:
Personensuche X
?
1

Assessment of the Production Complex Sustainability of Lead..:

, In: Finance, Economics, and Industry for Sustainable Development; Springer Proceedings in Business and Economics,
 
?
2

Survey on automated symbolic verification and its applicati..:

Cordeiro, Lucas C. ; Lima Filho, Eddie B. ; Bessa, Iury V.
IET Cyber-Physical Systems: Theory & Applications.  5 (2019)  1 - p. 1-24 , 2019
 
?
3

Incremental Bounded Model Checking of Artificial Neural Net..:

, In: 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC),
 
?
5

Comparison of the PLL Control techniques applied in Photovo..:

, In: 2019 IEEE 15th Brazilian Power Electronics Conference and 5th IEEE Southern Power Electronics Conference (COBEP/SPEC),
 
?
6

Stabilization of DC Microgrids with Point-of-Load Converter..:

, In: 2019 IEEE 15th Brazilian Power Electronics Conference and 5th IEEE Southern Power Electronics Conference (COBEP/SPEC),
 
?
 
?
 
?
11

Verification of fixed-point digital controllers using direc..:

Bessa, Iury V. ; Ismail, Hussama I. ; Cordeiro, Lucas C..
Design Automation for Embedded Systems.  20 (2016)  2 - p. 95-126 , 2016
 
1-15