Wyniki wyszukiwania dla: WERYFIKACJA FORMALNA
Znaleźliśmy mało wyników, wypróbuj alternatywnej metody wyszukiwania.
Filtry
wszystkich: 1
Wyniki wyszukiwania dla: WERYFIKACJA FORMALNA
-
Safety of computer control systems: challenges and results in software development.
PublikacjaArtykuł dokonuje przeglądu wybranych wyników dotyczących poprawy bezpieczeństwa komputerowych systemów sterowania. Dyskusja pokrywa szeroki zakres aspektów dotyczących procesu wytwarzania takich systemów. W szczególności omówiono zagadnienia dotyczące różnorodności oprogramowania, oprogramowania off-the-shelf, analizy typów awarii i ich efektów oraz formalizacji procesu wytwórczego.