Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches.
Saved in:
| Title: | Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches. |
|---|---|
| Authors: | Haur, Imane1,2, Imane.Haur@ls2n.fr, Béchennec, Jean-Luc1, Roux, Olivier H.1 |
| Source: | Cybernetics & Systems; 2025, Vol. 56 Issue 6, p886-916, 31p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01969722 |
|---|---|
| DOI: | 10.1080/01969722.2023.2247261 |
