. "25.815"^^ . . . "Formal Methods for Industrial Critical Systems (FMICS 2012)" . . . . . "RIV/00216224:14330/12:00057863!RIV13-GA0-14330___" . . "http://www.isvav.cz/h13/resultDetail.do?rowId=RIV%2F00216224%3A14330%2F12%3A00057863!RIV13-GA0-14330___"^^ . . "44.376"^^ . . . "33.282"^^ . . . . "Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs" . "0.75"^^ . . "f2gnx!nMnNKVrSvI!J.L.Aoq.m4=" . "34.42"^^ . "\u010Dl\u00E1nek ve sborn\u00EDku evidovan\u00E9m v datab\u00E1zi Scopus bodovan\u00FD podle SJR zdroje typu \"Book Series\" nebo \"Conference Proceedings\"" . . .