All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

2 (0,109s) •

Result

Modelování komponentového prostředí za výskytu zpětných volání a autonomních aktivit

Populární přístup ke kompoziční verifikaci komponentových aplikací je založen na principu assume-guarantee (předpoklad-záruka), kde předpoklad modeluje chování prostředí pro každou komponentu. Realistické komponentové aplikace často zahrnují složité ...

JC - Počítačový hardware a software

  • 2008
    • •
  • D
Result

Modelování komponentového prostředí za výskytu zpětných volání a autonomních aktivit

Populární přístup ke kompoziční verifikaci komponentových aplikací je založen na principu assume-guarantee (domněnka-záruka), kde domněnka modeluje chování prostředí pro každou komponentu. Realistické komponentové aplikace často zahrnují složité vzor...

JC - Počítačový hardware a software

  • 2008
    • •
  • Jx
  • 1 - 2 out of 2