Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions Approach and Case Study
Belil, Fevzi GrosspIETsch, Karl E.
Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions Approach and Case Study - 513-526 p.
Software Specification
Petri Nets
Fault Tolerance
Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions Approach and Case Study - 513-526 p.
Software Specification
Petri Nets
Fault Tolerance