Specification of fault-tolerant system issues by predicate/transition nets and regular expressions-approach and case study | IEEE Journals & Magazine | IEEE Xplore
[go: up one dir, main page]