Verification of FPGA control systems by analyzing the correctness of state diagrams - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Maryna Miroshnyk, Alexander Shkil, Elvira Kulak, Dariia Rakhlis, Inna Filippenko, Anatolii Miroshnyk. Verification of FPGA control systems by analyzing the correctness of state diagrams. In 11th IEEE International Conference on Dependable Systems, Services and Technologies, DESSERT 2020, Kyiv, Ukraine, May 14-18, 2020. pages 85-89, IEEE, 2020. [doi]

This author has not been identified. Look up 'Maryna Miroshnyk' in GoogleThis author has not been identified. Look up 'Alexander Shkil' in GoogleThis author has not been identified. Look up 'Elvira Kulak' in GoogleThis author has not been identified. Look up 'Dariia Rakhlis' in GoogleThis author has not been identified. Look up 'Inna Filippenko' in GoogleThis author has not been identified. Look up 'Anatolii Miroshnyk' in Google

runs on WebDSL