Abstract
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.
| Original language | English |
|---|---|
| Pages | 695-699 |
| Number of pages | 5 |
| Publication status | Published - 1975 Jan 1 |
| Externally published | Yes |
| Event | Unknown conference - Anaheim, Calif Duration: 1975 May 19 → 1975 May 22 |
Conference
| Conference | Unknown conference |
|---|---|
| City | Anaheim, Calif |
| Period | 75/5/19 → 75/5/22 |
ASJC Scopus subject areas
- Engineering(all)