View in EDS

Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches.

Saved in:
Bibliographic Details
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
Be the first to leave a comment!
You must be logged in first