Reliability Guarantees in Automata-Based Scheduling for Embedded Control Software

M. Santhosh Prabhu, Aritra Hazra, Pallab Dasgupta. Reliability Guarantees in Automata-Based Scheduling for Embedded Control Software. Embedded Systems Letters, 5(2):17-20, 2013. [doi]

@article{PrabhuHD13,
  title = {Reliability Guarantees in Automata-Based Scheduling for Embedded Control Software},
  author = {M. Santhosh Prabhu and Aritra Hazra and Pallab Dasgupta},
  year = {2013},
  doi = {10.1109/LES.2013.2250479},
  url = {http://dx.doi.org/10.1109/LES.2013.2250479},
  researchr = {https://researchr.org/publication/PrabhuHD13},
  cites = {0},
  citedby = {0},
  journal = {Embedded Systems Letters},
  volume = {5},
  number = {2},
  pages = {17-20},
}