Reachability solution characterization of parametric real-time systems
From MaRDI portal
Publication:703513
DOI10.1016/j.tcs.2004.07.014zbMath1071.68054OpenAlexW2088609633MaRDI QIDQ703513
Publication date: 11 January 2005
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2004.07.014
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Parametric timing analysis for real-time systems
- Model-checking in dense real-time
- The residue of vector sets with applications to decidability problems in Petri nets
- On the reachability problem for 5-dimensional vector addition systems
- The covering and boundedness problems for vector addition systems
- A multiparameter analysis of the boundedness problem for vector addition systems
- Parametric real-time reasoning
This page was built for publication: Reachability solution characterization of parametric real-time systems