Statistické testování dokazatelnosti jako nástroj k automatickému generování větvících se plánů pro činnost automatu s cílovým chováním /
| Hlavní autor: | |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: |
čeština |
| Vydavatel: |
Praha :
ÚTIA ČSAV,
1979.
|
| Edice: |
Research Report ;
940 |
|
|