Inproceedings,

An Event Model for Deadline Verification of Hard Real-Time Systems.

.
RTS, page 118-123. IEEE, (1993)

Meta data

Tags

Users

  • @rcs
  • @dblp

Comments and Reviews