Zobrazeno 1 - 10
of 824
pro vyhledávání: '"Uppaal"'
Publikováno v:
IEEE Access, Vol 12, Pp 124260-124281 (2024)
Modeling and verification are crucial in designing traffic light control systems, guaranteeing these systems meet desired operational properties and handle dynamic traffic conditions effectively. The design process involves addressing complexities su
Externí odkaz:
https://doaj.org/article/2126f3b27b784344b23b2633f3143c46
Autor:
Moez Krichen, Ahmed Harbaoui
Publikováno v:
Mathematics, Vol 12, Iss 21, p 3421 (2024)
This study looks at how travelers move between MADINA and JEDDA, using the UPPAAL Stratego tool to tackle the complexities of urban mobility. As cities grow, effective transportation planning becomes more challenging. Travelers have three options: ca
Externí odkaz:
https://doaj.org/article/47c4eb572a2f441d98c8d2dcbb6d0b06
Publikováno v:
Mathematics, Vol 12, Iss 15, p 2431 (2024)
A composite smart contract can execute smart contracts that may belong to other owners or companies through external calls, bringing more security challenges to blockchain applications. Traditional static verification methods are inadequate for analy
Externí odkaz:
https://doaj.org/article/b76c5f044f184c2c8abc9ee9e07f9af4
Publikováno v:
In Ad Hoc Networks 1 April 2023 142
Publikováno v:
Frontiers in Blockchain, Vol 6 (2023)
In recent times, the research on blockchain interoperability has gained momentum, enabling the entities from different heterogeneous blockchain networks to communicate with each other seamlessly. Amid the proliferation of blockchain ventures, for ens
Externí odkaz:
https://doaj.org/article/f4fafc19336a43f3b2eb8780a89926a3
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.
Autor:
Daniel Daukševič
Publikováno v:
Vilnius University Open Series (2023)
Šiame straipsnyje yra aprašomas tyrimas, kurio metu buvo formaliai verifikuojama adaptyvi kompiuterinė robotų sistema. Sistemos modelis buvo sukurtas ir formaliai verifikuojamas taikant statistinį modelių patikrinimo metodą naudojant UPPAAL SM
Externí odkaz:
https://doaj.org/article/ef4887877b79446ab041aeeb4832757f