Searching for "Timed state space exploration using POSETs." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Timed State Space Exploration using POSETS
- …1 Timed State Space Exploration using POSETS Wendy Belluomini Chris J. Myers Abstract…
- Cited by 13 (6 self) – Add To MetaCart
-
Verification of timed systems using POSETS
- … within the space. 3 Timed state space exploration using POSET timing While geometric regions…
- Cited by 28 (6 self) – Add To MetaCart
-
Trace Theoretic Verification of Timed Circuits: Correctness, Reduction, and Interpretation.
- … of timed circuits. The survey will include partial exploration of the exact state space, as well…
- Add To MetaCart
Showing 1 through 3.
