Zobrazeno 1 - 10
of 305
pro vyhledávání: '"Timed Petri net"'
Publikováno v:
Cogent Engineering, Vol 11, Iss 1 (2024)
Verification of real-time system properties using formal models can improve system design and quality. The Timed Petri net is a formal model for modelling and designing real-time systems with time constraints. Furthermore, model checking is a formal
Externí odkaz:
https://doaj.org/article/00acf64b5a9448c5a3b5889bc2cc77e9
Publikováno v:
Smart and Resilient Transportation, 2021, Vol. 3, Issue 3, pp. 235-248.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/SRT-01-2021-0001
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Smart and Resilient Transportation, Vol 3, Iss 3, Pp 235-248 (2021)
Purpose – When a railway emergency occurs, it often leads to unexpected consequences, especially for trains of higher speed and larger passenger flow. Therefore, the railway emergency plan, a pre-established plan to deal with emergencies, plays an
Externí odkaz:
https://doaj.org/article/123333444ccd4cf79a0cb634b657bd2a
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems, 2023, 33, ⟨10.1007/s10626-022-00371-7⟩
Discrete Event Dynamic Systems, 2023, 33, ⟨10.1007/s10626-022-00371-7⟩
International audience; A fundamental step in circuit design is the placement of pipeline stages, which can drastically increase the data throughput. Retiming allows optimizing the pipeline with regard to a criterion, for example the required number
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::029ec32eee91fba3263c3f22dc8eb288
https://hal.science/hal-03952519
https://hal.science/hal-03952519
