Validating Real-Time Constraints in Embedded Systems

R. K. Shyamasundar, J. V. Aghav. Validating Real-Time Constraints in Embedded Systems. In 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 17-19 December 2001, Seoul, Korea. pages 347-355, IEEE Computer Society, 2001. [doi]

@inproceedings{ShyamasundarA01,
  title = {Validating Real-Time Constraints in Embedded Systems},
  author = {R. K. Shyamasundar and J. V. Aghav},
  year = {2001},
  url = {http://csdl.computer.org/comp/proceedings/prdc/2001/1414/00/14140347abs.htm},
  tags = {constraints},
  researchr = {https://researchr.org/publication/ShyamasundarA01},
  cites = {0},
  citedby = {0},
  pages = {347-355},
  booktitle = {8th  Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 17-19 December 2001, Seoul, Korea},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1414-6},
}