Theses on the same topic (having an identical keyword):
component-based systemsKeywords ordered alphabetically | Keywords ordered by occurrence rate
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 / | Theses on a related topic
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 | Theses on a related topic
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 / | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
Graphical Specification of Concurrent Systems
(David Šafránek)2008, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/kvgna/ | Informatika / | Theses on a related topic
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 | Theses on a related topic