Tom\'a\v{s} Kratochv\'ila

Identifiers

• name variant Tom\'a\v{s} Kratochv\'ila 0.60 · backfill

Papers (1)

1. Analysing Sanity of Requirements for Avionics Systems (Preliminary Version) cs.SE · 2015 · author #6

Mentions

• 1510.02669 #6 · backfill · confidence 0.70 Tom\'a\v{s} Kratochv\'ila

Frequent Coauthors

• Jan Beran 1 shared papers
• Ji\v{r}\'i Barnat 1 shared papers
• Lubo\v{s} Brim 1 shared papers
• Nikola Bene\v{s} 1 shared papers
• Petr Bauch 1 shared papers