@article{Bubeník_2019, title={FORMÁLNÍ METODY VE VÝVOJI SOFTWARU BEZPEČNOSTNĚ KRITICKÉHO SYSTÉMU}, volume={14}, url={https://pernerscontacts.upce.cz/index.php/perner/article/view/385}, abstractNote={<p>Č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-B je demonstrováno na specifikaci chování železničního přejezdového zabezpečovacího zařízení.</p>}, number={1}, journal={Perner’s Contacts}, author={Bubeník, Michal}, year={2019}, month={dub.}, pages={21–27} }