We have demonstrated a methodology for designing and checking a system for certain recoverability properties. In order to do this, it was necessary to accept constraints on the execution time of its parts. We believe that the method presented can be used as a practical tool. In order to apply the method efficiently, the designer is urged to refer himself to the references of this paper for a wider mathematical background of the approach used.
|出版ステータス||Published - 1975 1月 1|
|イベント||1975 National Computer Conference AFIPS 1975 - Anaheim, United States|
継続期間: 1975 5月 19 → 1975 5月 22
|Conference||1975 National Computer Conference AFIPS 1975|
|Period||75/5/19 → 75/5/22|
ASJC Scopus subject areas
- コンピュータ ネットワークおよび通信