![Studijní programy](https://cdn.muni.cz/media/3757910/studijni-programy-student-jde-chodbou-masarykova-univerzita.jpg?mode=crop¢er=0.5,0.5&rnd=133754493890000000&heightratio=0.5&width=278)
Zde se nacházíte:
Informace o publikaci
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 | |
Rok publikování | 2010 |
Druh | Vyžádané přednášky |
Fakulta / Pracoviště MU | |
Citace | |
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: |