%0 Conference Paper %1 conf/ictes/DrozdZMID20 %A Drozd, Oleksandr %A Zashcholkin, Kostiantyn %A Martynyuk, Oleksandr %A Ivanova, Olena %A Drozd, Julia V. %B ICTES %D 2020 %E Kondratenko, Yuriy P. %E Kreinovich, Vladik %E Simon, Dan %E Krainyk, Yaroslav M. %I CEUR-WS.org %K dblp %P 30-42 %T Development of Checkability in FPGA Components of Safety-Related Systems. %U http://dblp.uni-trier.de/db/conf/ictes/ictes2020.html#DrozdZMID20 %V 2762

@inproceedings{conf/ictes/DrozdZMID20, added-at = {2024-07-12T00:00:00.000+0200}, author = {Drozd, Oleksandr and Zashcholkin, Kostiantyn and Martynyuk, Oleksandr and Ivanova, Olena and Drozd, Julia V.}, biburl = {https://www.bibsonomy.org/bibtex/2f9379f352fdfe9239e9c800152257729/dblp}, booktitle = {ICTES}, crossref = {conf/ictes/2020}, editor = {Kondratenko, Yuriy P. and Kreinovich, Vladik and Simon, Dan and Krainyk, Yaroslav M.}, ee = {https://ceur-ws.org/Vol-2762/paper1.pdf}, interhash = {9c129d2479b81dec9357df1b0044b0c2}, intrahash = {f9379f352fdfe9239e9c800152257729}, keywords = {dblp}, pages = {30-42}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-07-15T07:19:51.000+0200}, title = {Development of Checkability in FPGA Components of Safety-Related Systems.}, url = {http://dblp.uni-trier.de/db/conf/ictes/ictes2020.html#DrozdZMID20}, volume = 2762, year = 2020 }