Počet záznamov: 1
Verification of real-time control programs
Názov Verification of real-time control programs Autor Fogel Jaroslav 1945- SAVINFO - Ústav informatiky SAV Zdroj.dok. Kybernetika a informatika. (2002), S. 73-74 : Medzinárodná konferencia SSKI. - Bratislava : SSKI, 2002 Jazyk dok. eng - angličtina Krajina SK - Slovenská republika Druh dok. rozpis článkov z periodík (rzb) Kategória AED - Vedecké práce v domácich recenzovaných vedeckých zborníkoch (aj konferenčných), monografiách Kategória (od 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Typ výstupu príspevok Rok vykazovania 2002 článok
rok vydania rok metriky IF IF Q (best) SJR SJR Q (best) 2002
Počet záznamov: 1