System modeling and testing procedures for microdiagnostics. (English) Zbl 0245.94015
MSC:
94C10 | Switching theory, application of Boolean algebra; Boolean functions (MSC2010) |
68Q45 | Formal languages and automata |
94C10 | Switching theory, application of Boolean algebra; Boolean functions (MSC2010) |
68Q45 | Formal languages and automata |