Showing 1 - 3 results of 3 for search 'Andrei Karatkevich', query time: 0.02s Refine Results
  1. 1
    On Transformation of a Logical Circuit to a Circuit with NAND and NOR Gates Only

    On Transformation of a Logical Circuit to a Circuit with NAND and NOR Gates Only by Baranov Samary, Andrei Karatkevich

    Published 2018-08-01
    Get full text
    Article
  2. 2
    Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets

    Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets by Remigiusz Wisniewski, Iwona Grobelna, Andrei Karatkevich

    Published 2020-09-01
    Get full text
    Article
  3. 3
    Alvis Approach to Modeling and Verification of Real-Time Systems Running on Single-Processor Environment

    Alvis Approach to Modeling and Verification of Real-Time Systems Running on Single-Processor Environment by Marcin Szpyrka, Jaroslaw Baniewicz, Andrei Karatkevich

    Published 2022-01-01
    Get full text
    Article

Search Tools: