000 | 00575nab a2200157Ia 4500 | ||
---|---|---|---|
008 | 230808s1991 |||||||f |||| 00| 0 eng d | ||
100 |
_aBelil, Fevzi _9790826 |
||
100 |
_aGrosspIETsch, Karl E. _9790827 |
||
245 | 0 | _aSpecification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions Approach and Case Study | |
300 | _a513-526 p. | ||
650 |
_aSoftware Specification _9769116 |
||
650 |
_aPetri Nets _9274323 |
||
650 |
_aFault Tolerance _9165128 |
||
773 |
_d1991 _tIEEE Transactions on Software Engineering _x00985589 |
||
942 |
_cART _o51 _pABUL KALAM Library |
||
999 |
_c749913 _d749913 |