Práce na stejné téma (mají shodná klíčová slova):

component-based systems

Klíčová slova abecedně | Klíčová slova dle četnosti

Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction
 (Barbora Zimmerová)

2008, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/kg5h8/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Formal Verification of Component Interaction in Component-Based Systems
 (Nikola Beneš)

2009, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/ur7d1/ | Informatika / | Práce na příbuzné téma

Formal Analysis of Component-Based Systems in View of Component Interactions
 (Barbora Zimmerová)

2008, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/c42fz/ | Informatika / | Práce na příbuzné téma

Evaluation and Determination of Integration Orders in Component-based Embedded Systems
 (Michael STEINDL)

2012, Disertační práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI

• http://theses.cz/id//pbs3c8// | Inženýrská informatika / Informatika a výpočetní technika | Práce na příbuzné téma

Model Checking of Control-User Systems
 (Pavlína Moravcová Vařeková)

2009, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/sntlw/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

Graphical Specification of Concurrent Systems
 (David Šafránek)

2008, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/kvgna/ | Informatika / | Práce na příbuzné téma

Verifikace komponentových systémů s dynamickou komunikací
 (Zuzana Petruchová)

2013, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/h47g1/ | Informatika / Teoretická informatika | Práce na příbuzné téma