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.
|Number of pages||5|
|Publication status||Published - 1975 Jan 1|
|Event||Unknown conference - Anaheim, Calif|
Duration: 1975 May 19 → 1975 May 22
|Period||75/5/19 → 75/5/22|
ASJC Scopus subject areas