Ing. Zdeněk Letko, Ph.D.

Produkty

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áš
 Testovací prostředí využívající techniky prohledávání prostoru (SearchBestie), software, 2010
Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav
2008Nástroj pro detekci a opravu chyb v atomicitě programů, software, 2008
Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav
2007Nástroj pro detekci a opravu časově závislých chyb v Javě, software, 2007
Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav

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