抄録
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.
本文言語 | English |
---|---|
ページ | 695-699 |
ページ数 | 5 |
DOI | |
出版ステータス | Published - 1975 1月 1 |
外部発表 | はい |
イベント | 1975 National Computer Conference AFIPS 1975 - Anaheim, United States 継続期間: 1975 5月 19 → 1975 5月 22 |
Conference
Conference | 1975 National Computer Conference AFIPS 1975 |
---|---|
国/地域 | United States |
City | Anaheim |
Period | 75/5/19 → 75/5/22 |
ASJC Scopus subject areas
- コンピュータ ネットワークおよび通信
- 情報システム
- ソフトウェア
- 教育