Classes
- Embedded and Real Time Systems +1NSWE001 | Faculty of Mathematics and Physics
- Start-up or corporation: Introduction to a career in ITNSWI063 | 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
- Software Engineering for Dependable SystemsNSWI054 | Faculty of Mathematics and Physics
- Model-driven DevelopmentNSWI164 | Faculty of Mathematics and Physics
Publications
- Formal Verification of Annotated Textual Use-Cases2015 | Faculty of Mathematics and Physics, Central Library of Charles University
- Towards Verification of Ensemble-Based Component Systems2014 | Faculty of Mathematics and Physics
- A Life Cycle for the Development of Autonomic Systems: The e-Mobility Showcase2013 | Faculty of Mathematics and Physics
- Verifying Temporal Properties of Use-Cases in Natural Language2012 | Faculty of Mathematics and Physics
- CoDIT: Bridging the Gap between System-Level and Component-Level Development2012 | Faculty of Mathematics and Physics
- FOAM : A Lightweight Method for Verification of Use-Cases2012 | Faculty of Mathematics and Physics
- Introducing Support for Embedded and Real-time Devices into Existing Hierarchical Component System: Lessons Learned2011 | Faculty of Mathematics and Physics
- Supporting Real-Life Applications in Hierarchical Component Systems2009 | Faculty of Mathematics and Physics
- Constraint-based Generation of Connectors2003 | Faculty of Mathematics and Physics
- SOFA High IntegrityPublication without faculty affiliation
Loading network view...