 |
| |||
| model checking (ssn) | |||
| |||
| model checking (ssn) | |||
| model verification | |||
| верификация моделей: 31 צירופים, 7 נושאים |
| הַנהָלָה | 1 |
| מיקום רדיו | 1 |
| משאבי מים | 1 |
| ציוד אוטומטי | 1 |
| רובוטיקה | 1 |
| תִכנוּת | 25 |
| תוֹכנָה | 1 |
|
| |||
| model checking (ssn) | |||
| |||
| model checking (ssn) | |||
| model verification | |||
| верификация моделей: 31 צירופים, 7 נושאים |
| הַנהָלָה | 1 |
| מיקום רדיו | 1 |
| משאבי מים | 1 |
| ציוד אוטומטי | 1 |
| רובוטיקה | 1 |
| תִכנוּת | 25 |
| תוֹכנָה | 1 |