Počet záznamov: 1
Metric Proposal for System Testing Models Verification for Safety Critical Systems
Údaje o názve Metric Proposal for System Testing Models Verification for Safety Critical Systems Záhlavie-meno Špendla, Lukáš, 1984- (Autor) - MTF Ústav aplikovanej informatiky, automatizácie a matematiky Ďal.zodpovednosť Tanuška, Pavol, 1966- (Autor) - MTF Ústav aplikovanej informatiky, automatizácie a matematiky Smolárik, Lukáš, 1986- (Autor) - MTF Ústav aplikovanej informatiky, automatizácie a matematiky Poznámky registrovaný: Scopus, IEEE In SISY 2013 : IEEE 11th International Symposium on Intelligent Systems and Informatics, September 26-28, 2013 Subotica, Serbia. -- Piscataway : IEEE, 2013. -- ISBN 978-1-4799-0304-7. -- s.87-92 Predmet.heslá safety critical system Jazyk dok. angličtina Druh dok. RZB - článok zo zborníka Kategória AFC - Publikované príspevky na zahraničných vedeckých konferenciách Kategória od 2022 V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Rok 2013 
článok
Počet záznamov: 1