抄録
A methodology for designing and checking a system for certain recoverability properties is presented to be used as a practical tool in Petri-net recoverability. Diagrams and equations show data.
| 本文言語 | English |
|---|---|
| ページ | 695-699 |
| ページ数 | 5 |
| 出版ステータス | Published - 1975 1月 1 |
| 外部発表 | はい |
| イベント | Unknown conference - Anaheim, Calif 継続期間: 1975 5月 19 → 1975 5月 22 |
Conference
| Conference | Unknown conference |
|---|---|
| City | Anaheim, Calif |
| Period | 75/5/19 → 75/5/22 |
ASJC Scopus subject areas
- 工学（全般）