Ing. Jan Fiedor, Ph.D.

Produkty

2012ANaConDA: Prostředí pro analýzu vícevláknových C/C++ programů na binární úrovni, software, 2012
Autoři: Fiedor Jan, Vojnar Tomáš
2011Nástroj pro řešení problému s ordinálním hodnocením alternativ, software, 2011
Autoři: Fiedor Jan
 Nástroj propojující dynamickou analýzu a bounded model checking, software, 2011
Autoři: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Vojnar Tomáš
2010Nástroj pro přehrávání běhu programu (Replay Tracer & BMC), software, 2010
Autoři: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš
 Nástroj pro verifikaci systémů popsaných formalismem Modechart, software, 2010
Autoři: Gach Marek, Fiedor Jan, Češka Milan
 Nástroj pro verifikaci systémů specifikovaných jazykem RT-Logiky, software, 2010
Autoři: Fiedor Jan, Gach Marek, Češka Milan

Vaše IPv4 adresa: 3.83.192.109
Přepnout na https