Showing 1 - 2 results of 2 for search 'Aleksander Vreže', query time: 0.02s Refine Results
  1. 1
    Discrete Time Model for Process Meta Language with Fictitious-Clock

    Discrete Time Model for Process Meta Language with Fictitious-Clock by Boštjan Vlaovič, Aleksander Vreže

    Published 2022-03-01
    Get full text
    Article
  2. 2
    Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin

    Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin by Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik

    Published 2017-01-01
    Get full text
    Article

Search Tools: