Publikace
- User Driven Query Framework of Social Networks for Geo-Temporal Analysis of Events of Interest2016 | Matematicko-fyzikální fakulta
- User-driven geo-temporal density-based exploration of periodic and not periodic events reported in social networks2016 | Matematicko-fyzikální fakulta
- Decomposition-Based Approach for Model-Based Test Generation2019 | Matematicko-fyzikální fakulta
- Fault-based test generation for regular expressions by mutation2019 | Matematicko-fyzikální fakulta
- Integrating Formal Methods into Medical Software Development: the ASM approach2018 | Matematicko-fyzikální fakulta
- Geotemporal Querying of Social Networks and Summarization2018 | Matematicko-fyzikální fakulta
- An Evolutionary Process for Product-driven Updates of Feature Models2018 | Matematicko-fyzikální fakulta
- SMT for state-based formal methods: the ASM case study2018 | Matematicko-fyzikální fakulta
- Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin2018 | Matematicko-fyzikální fakulta
- Rigorous development process of a safety-critical system: from ASM models to Java code2017 | Matematicko-fyzikální fakulta
Loading network view...