ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "boarding"
boarding
Osoba
Předměty
Osoby
Publikace
Studium
RNDr. Jiří Adámek
Externí osoba na Matematicko-fyzikální fakulta
20 publikací
Publikace
publication
Komponentový framework pro kosmický on-board software
2008 |
Matematicko-fyzikální fakulta
publication
Automatická konstrukce přiměřeného prostředí pro Java komponenty
2009 |
Matematicko-fyzikální fakulta
publication
Ověřování relačně-omezené komunikace mezi webovými službami
2008 |
Matematicko-fyzikální fakulta
publication
Perspectives in Component-based Software Engineering
2008 |
Matematicko-fyzikální fakulta
publication
Carmen : Software Component Model Checker
2008 |
Matematicko-fyzikální fakulta
publication
Verifikace softwarovych komponent: Neomezeny paralelismus
2007 |
Matematicko-fyzikální fakulta
publication
Kompozice chování v komponentových systémech
2006 |
Matematicko-fyzikální fakulta
publication
Řešení neomezeného paralelismu při verifikaci softwarových komponent
2006 |
Matematicko-fyzikální fakulta
publication
Component Composition Errors and Update Atomicity: Static Analysis
2005 |
Matematicko-fyzikální fakulta
publication
Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective
2005 |
Matematicko-fyzikální fakulta
Načíst další publikace (10)
Loading network view...