Number of the records: 1  

Verification of real-time control programs

  1. TitleVerification of real-time control programs
    Author Fogel Jaroslav 1945- SAVINFO - Ústav informatiky SAV
    Source document Kybernetika a informatika. (2002), S. 73-74 : Medzinárodná konferencia SSKI. - Bratislava : SSKI, 2002
    Languageeng - English
    CountrySK - Slovak Republic
    Document kindrozpis článkov z periodík (rzb)
    CategoryAED - Scientific papers in domestic peer-reviewed proceedings, monographs
    Category of document (from 2022)V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
    Type of documentpríspevok
    Year2002
    article

    article

    rok vydaniarok metrikyIFIF Q (best)SJRSJR Q (best)
    2002
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all