FORMÁLNÍ METODY VE VÝVOJI SOFTWARU BEZPEČNOSTNĚ KRITICKÉHO SYSTÉMU
Článek se zaměřuje na využití formálních metod při vývoji softwaru pro bezpečnostně kritické systémy v dopravě. Takové systémy mají narůstající složitost a musejí vyhovovat určitým požadavkům na kvalitu. Formální metody jsou zařazeny do procesu vývoje softwaru. Použití vybrané formální metody Event...
| Prif Awdur: | |
|---|---|
| Fformat: | Erthygl |
| Iaith: | ces |
| Cyhoeddwyd: |
University of Pardubice
2019-04-01
|
| Cyfres: | Perner’s Contacts |
| Pynciau: | |
| Mynediad Ar-lein: | https://pernerscontacts.upce.cz/index.php/perner/article/view/385 |