Zobrazeno 1 - 1
of 1
pro vyhledávání: '"symbolické konečné převodníky"'
Autor:
Kotoun, Michal
Mnoho aplikací přijímá, odesílá a zpracovává data v textové podobě. Správné a bezpečné zpracování těchto dat je typicky zajištěno tzv. ošetřením řetězců (string sanitization). Pomocí metod formální verifikace je možné an
Externí odkaz:
http://www.nusl.cz/ntk/nusl-433553
