Specification of fault-tolerant system issues by predicate/transition nets and regular expressions-approach and case study
1991 ◽
Vol 17
(6)
◽
pp. 513-526
◽
2009 ◽
Vol 82
(10)
◽
pp. 1678-1694
◽
Keyword(s):
Keyword(s):
2017 ◽
Vol 26
(07)
◽
pp. 1750111
◽
Keyword(s):