Classes
- Embedded and Real Time Systems +1NSWE001 | Faculty of Mathematics and Physics
- Software Engineering for Dependable SystemsNSWI054 | Faculty of Mathematics and Physics
- Model-driven DevelopmentNSWI164 | Faculty of Mathematics and Physics
- Concepts of Modern Programming LanguagesNPRG014 | Faculty of Mathematics and Physics
- Programming in PythonNPRG065 | Faculty of Mathematics and Physics
- Python for practiceNPRG067 | Faculty of Mathematics and Physics
- Start-up or corporation: Introduction to a career in ITNSWI063 | Faculty of Mathematics and Physics
Publications
- Formal Verification of Annotated Textual Use-Cases2015 | Faculty of Mathematics and Physics, Central Library of Charles University
- Automated resolution of connector architectures using constraint solving (ARCAS method)2014 | Faculty of Mathematics and Physics
- Towards Verification of Ensemble-Based Component Systems2014 | Faculty of Mathematics and Physics
- Towards Performance-Aware Engineering of Autonomic Component Ensembles2014 | Faculty of Mathematics and Physics
- Strengthening architectures of smart CPS by modeling them as runtime product-lines2014 | Faculty of Mathematics and Physics
- Interoperable domain-specific languages families for code generation2013 | Faculty of Mathematics and Physics
- Engineering Autonomous Systems2013 | Faculty of Mathematics and Physics
- DEECo - an Ensemble-Based Component System2013 | Faculty of Mathematics and Physics
- Position Paper: Towards a Requirements-Driven Design of Ensemble-Based Component Systems2013 | Faculty of Mathematics and Physics
- A Life Cycle for the Development of Autonomic Systems: The e-Mobility Showcase2013 | Faculty of Mathematics and Physics
Loading network view...