Timed State Space Analysis of Real-Time Preemptive Systems. Bucci, G., Fedeli, A., Sassoli, L., & Vicario, E. IEEE Trans. Software Eng., 30(2):97–111, 2004.
Timed State Space Analysis of Real-Time Preemptive Systems [link]Paper  doi  bibtex   
@article{DBLP:journals/tse/BucciFSV04,
  author       = {Giacomo Bucci and
                  Andrea Fedeli and
                  Luigi Sassoli and
                  Enrico Vicario},
  title        = {Timed State Space Analysis of Real-Time Preemptive Systems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {30},
  number       = {2},
  pages        = {97--111},
  year         = {2004},
  url          = {https://doi.org/10.1109/TSE.2004.1265815},
  doi          = {10.1109/TSE.2004.1265815},
  timestamp    = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/BucciFSV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0