Verification of Timing Properties in Rapid System Prototyping

Doron Drusinsky, Man-tak Shing. Verification of Timing Properties in Rapid System Prototyping. In 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 9-11 June 2003, San Diego, CA, USA. pages 47, IEEE Computer Society, 2003. [doi]

@inproceedings{DrusinkyS03,
  title = {Verification of Timing Properties in Rapid System Prototyping},
  author = {Doron Drusinsky and Man-tak Shing},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/rsp/2003/1943/00/19430047abs.htm},
  researchr = {https://researchr.org/publication/DrusinkyS03},
  cites = {0},
  citedby = {0},
  pages = {47},
  booktitle = {14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 9-11 June 2003, San Diego, CA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1943-1},
}