Počet záznamov: 1
Early-stage verification of power-management specification in low-power systems design
CREPC201606 CREPC201607 CREPC201609 CREPC102016 CREPC201611 CREPC201701 CREPC201702 CREPC201703 C Údaje o názve Early-stage verification of power-management specification in low-power systems design / aut. Dominik Macko, Katarína Jelemenská, Pavel Čičák Záhlavie-meno Macko, Dominik, 1988- (Autor) - FIIT Ústav počítačového inžinierstva a aplikovanej informatiky Ďal.zodpovednosť Jelemenská, Katarína, 1962- Z1 (Autor) - FIIT Ústav počítačového inžinierstva a aplikovanej informatiky Čičák, Pavel, 1955- Z1 (Autor) - FIIT Ústav počítačového inžinierstva a aplikovanej informatiky In DDECS 2016 / IEEE International symposium on design and diagnostics of electronic circuits and systems. -- Piscataway : IEEE, 2016. -- ISBN 978-1-5090-2466-7. -- S. 157-162 Jazyk dok. angličtina Druh dok. RZB - článok zo zborníka Kategória AFD - Publikované príspevky na domácich vedeckých konferenciách Kategória od 2022 V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka V databázach WOS: 000387091100028
SCOPUS: 2-s2.0-84978472986Rok 2016 článok
Počet záznamov: 1