Zpět na vyhledávání

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

Interface automata

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

« 1 2 » (celkem 13 prací)
Komponentová architektura cílového software
 (Oldřich Faldík)

2017, Disertační práce, Provozně ekonomická fakulta / Mendelova univerzita v Brně

http://theses.cz/id//ppubah// | Systémové inženýrství a informatika / Ekonomická informatika | Práce na příbuzné téma

Interface-Based Software Development
 (Aziz Rais)

2013, Disertační práce, Vysoká škola ekonomická v Praze

http://www.vse.cz/vskp/eid/53607 | Aplikovaná informatika / Informatika | Práce na příbuzné téma

Komponentová architektura cílového software
 (Oldřich Faldík)

2017, Disertační práce, Provozně ekonomická fakulta / Mendelova univerzita v Brně

http://theses.cz/id//ppubah// | Systémové inženýrství a informatika / Ekonomická informatika | Práce na příbuzné téma

Komponentový vývoj webové aplikace
 (Pavel Sklenář)

2010, Bakalářská práce, Vysoká škola ekonomická v Praze

http://www.vse.cz/vskp/eid/23113 | Aplikovaná informatika / Informatika | Práce na příbuzné téma

Verifikační nástroj pro komponentové systémy
 (Milan Křivánek)

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

https://is.muni.cz/th/r2ry1/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma

Classification for Sensors in Automotive Cyber-Physical Systems
 (Surendra Kumar Yadav)

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

https://is.muni.cz/th/vr875/ | Informatika / Bezpečnost informačních technologií (angl.) | Práce na příbuzné téma

Supporting a Smart Grids Laboratory: Testing Management for Cyber-Physical Systems
 (Katarína Hrabovská)

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

https://is.muni.cz/th/elsud/ | Aplikovaná informatika / Služby - výzkum, řízení a inovace | Práce na příbuzné téma

A Model for Strategic Alignment of Supply Chain Management Information Systems: Dynamic Capabilities of Digital Business Models
 (Jochen Nürk)

2019, Disertační práce, Provozně ekonomická fakulta / Mendelova univerzita v Brně

http://theses.cz/id//3333cz// | Economics and Management / Business Management and Economics | Práce na příbuzné téma

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

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

« 1 2 » (celkem 13 prací)