Showing 1 - 4 results of 4 for search 'Waldemar Grabski', query time: 0.02s Refine Results
  1. 1
    Code Generation For Csm/Ecsm Models In Cosma Environment

    Code Generation For Csm/Ecsm Models In Cosma Environment by Waldemar Grabski, Michał Nowacki

    Published 2007-01-01
    Get full text
    Article
  2. 2
    A STUDY ON COOPERATION OF URBAN TRANSPORT MEANS: PRT AND LIGHT RAIL

    A STUDY ON COOPERATION OF URBAN TRANSPORT MEANS: PRT AND LIGHT RAIL by Waldemar GRABSKI, Wiktor B. DASZCZUK

    Published 2017-12-01
    Get full text
    Article
  3. 3
    Formal Verification of the European Train Control System (ETCS) for Better Energy Efficiency Using a Timed and Asynchronous Model

    Formal Verification of the European Train Control System (ETCS) for Better Energy Efficiency Using a Timed and Asynchronous Model by Andrzej Kochan, Wiktor B. Daszczuk, Waldemar Grabski, Juliusz Karolak

    Published 2023-04-01
    Get full text
    Article
  4. 4
    Temporal Verification of Relay-Based Railway Traffic Control Systems Using the Integrated Model of Distributed Systems

    Temporal Verification of Relay-Based Railway Traffic Control Systems Using the Integrated Model of Distributed Systems by Juliusz Karolak, Wiktor B. Daszczuk, Waldemar Grabski, Andrzej Kochan

    Published 2022-11-01
    Get full text
    Article

Search Tools: