المؤلفون: Zbořil, Tomáš

المساهمون: Kubánková, Anna, Jeřábek, Jan

المصدر: ZBOŘIL, T. Aplikace pro automatickou kontrolu konfigurace CISCO zařízení [online]. Brno: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. 2022.

مصطلحات موضوعية: Smerovač, Smerovacie protokoly, Open Shortest Path First (OSPF), dynamické smerovanie, konfigurácia smerovania, kontrola konfigurácie, automatická oprava konfigurácie, automatizácia, konfigurácia programom, virtualizácia, automatická oprava chýb, GNS3, Python, Flask, Router, Routing protocols, dynamic routing, routing configuration, configuration control, automated correction of configuration, automation, programmatic configuration, virtualization, automated error correction

وصف الملف: text/html

Relation: http://hdl.handle.net/11012/204744

الاتاحة: http://hdl.handle.net/11012/204744

المؤلفون: Vyvial, Pavel

المساهمون: Křena, Bohuslav, Hýsek, Jiří

مصطلحات موضوعية: automatická oprava chyb, formální analýza software, FindBugs, Java byte-kód, statická analýza, SHADOWS, automatic bug healing, Java byte-code, software formal analysis, static analysis

وصف الملف: application/pdf; text/html

Relation: VYVIAL, P. Statická analýza Java programů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2008.; 25259; http://hdl.handle.net/11012/55529

الاتاحة: http://hdl.handle.net/11012/55529

المؤلفون: Vyvial, Pavel

المساهمون: Křena, Bohuslav, Hýsek, Jiří

المصدر: VYVIAL, P. Statická analýza Java programů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2008.

مصطلحات موضوعية: automatická oprava chyb, formální analýza software, FindBugs, Java byte-kód, statická analýza, SHADOWS, automatic bug healing, Java byte-code, software formal analysis, static analysis

وصف الملف: text/html

Relation: http://hdl.handle.net/11012/55529

الاتاحة: http://hdl.handle.net/11012/55529

المؤلفون: Křena, Bohuslav, Hýsek, Jiří, Vyvial, Pavel

مصطلحات الفهرس: automatická oprava chyb, formální analýza software, FindBugs, Java byte-kód, statická analýza, SHADOWS, automatic bug healing, Java byte-code, software formal analysis, static analysis, Text

URL: http://hdl.handle.net/11012/55529

المؤلفون: Křena, Bohuslav, Hýsek, Jiří

مصطلحات الفهرس: automatická oprava chyb, formální analýza software, FindBugs, Java byte-kód, statická analýza, SHADOWS, automatic bug healing, Java byte-code, software formal analysis, static analysis, Text

URL: http://hdl.handle.net/11012/55529

المؤلفون: Křena, Bohuslav, Hýsek, Jiří

مصطلحات الفهرس: automatická oprava chyb, formální analýza software, FindBugs, Java byte-kód, statická analýza, SHADOWS, automatic bug healing, Java byte-code, software formal analysis, static analysis, Text

URL: http://hdl.handle.net/11012/55529

المؤلفون: Křena, Bohuslav, Hýsek, Jiří

مصطلحات الفهرس: automatická oprava chyb, formální analýza software, FindBugs, Java byte-kód, statická analýza, SHADOWS, automatic bug healing, Java byte-code, software formal analysis, static analysis, Text

URL: http://hdl.handle.net/11012/55529

المؤلفون: Křena, Bohuslav, Hýsek, Jiří

مصطلحات الفهرس: automatická oprava chyb, formální analýza software, FindBugs, Java byte-kód, statická analýza, SHADOWS, automatic bug healing, Java byte-code, software formal analysis, static analysis, Text

URL: http://hdl.handle.net/11012/55529

المؤلفون: Křena, Bohuslav, Hýsek, Jiří, Vyvial, Pavel

مصطلحات الفهرس: automatická oprava chyb, formální analýza software, FindBugs, Java byte-kód, statická analýza, SHADOWS, automatic bug healing, Java byte-code, software formal analysis, static analysis, Text

URL: http://hdl.handle.net/11012/55529