A Systematic Review on the Applications of <span style="font-variant: small-caps">Uppaal</span>
This paper presents a systematic review on possible applications of the <span style="font-variant: small-caps;">Uppaal</span> tool. This tool, an integrated environment for the modeling, validation, and verification of real-time systems modeled as networks of timed automata, is currently used in var...
I tiakina i:
| Ngā kaituhi matua: | , , |
|---|---|
| Hōputu: | Artigo |
| Reo: | Inglês |
| I whakaputaina: |
MDPI AG
2025-05-01
|
| Rangatū: | Sensors |
| Ngā marau: | |
| Urunga tuihono: | https://www.mdpi.com/1424-8220/25/11/3484 |
| Ngā Tūtohu: |
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|