Dynamic priorities for modeling real-time release_fges2ek3aremvppiii2cew6uiq

by Girish Bhat, Rance Cleaveland, Gerald Lüttgen

Published in Formal Description Techniques and Protocol Specification, Testing and Verification by Springer US.

1997   p321-336

Archived Files and Locations

application/pdf  1.9 MB
file_s34jbviucvgmvfug5khkl34zou
web.archive.org (webarchive)
link.springer.com (publisher)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   1997
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: ffc1dd44-1e3e-403c-bc57-f8048d17016f
API URL: JSON