ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems. Bucci, G., Sassoli, L., & Vicario, E. In 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands, pages 70–79, 2004. IEEE Computer Society.
ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/qest/BucciSV04,
  author       = {Giacomo Bucci and
                  Luigi Sassoli and
                  Enrico Vicario},
  title        = {{ORIS:} {A} Tool for State-Space Analysis of Real-Time Preemptive
                  Systems},
  booktitle    = {1st International Conference on Quantitative Evaluation of Systems
                  {(QEST} 2004), 27-30 September 2004, Enschede, The Netherlands},
  pages        = {70--79},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/QEST.2004.1348021},
  doi          = {10.1109/QEST.2004.1348021},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BucciSV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0