Formal Verification of Component-based Architectures - Motivation, Methods & Challenges

• Název česky: Formální verifikace komponentových architektur - motivace, metody a výzvy
• Autoři: ČERNÁ Ivana
• Rok publikování: 2010
• Druh: Vyžádané přednášky
• Fakulta / Pracoviště MU: Fakulta informatiky
• Popis: Zvaná přednáška na konferenci FESCA 2010 (viz Invited lecture at FESCA 2010 workshop (see http://fesca.ipd.kit.edu/fesca2010/) na tému modelování a verifikace komponentových systémů

Související projekty

• Vysoce paralelní a distribuované výpočetní systémy
• Verifikace a analýza velmi velkých počítačových systémů