![Tomas Krilavičius & Yaroslav Usenko Smart Card Personalisation Machine in UPPAAL Cybernetix case study for AMETIST project. - ppt download Tomas Krilavičius & Yaroslav Usenko Smart Card Personalisation Machine in UPPAAL Cybernetix case study for AMETIST project. - ppt download](https://images.slideplayer.com/5/1502247/slides/slide_2.jpg)
Tomas Krilavičius & Yaroslav Usenko Smart Card Personalisation Machine in UPPAAL Cybernetix case study for AMETIST project. - ppt download
![Discrete Simulation of Behavioural Hybrid Process Calculus Tomas Krilavičius Helen Shonenberg University of Twente. - ppt download Discrete Simulation of Behavioural Hybrid Process Calculus Tomas Krilavičius Helen Shonenberg University of Twente. - ppt download](https://images.slideplayer.com/27/9030058/slides/slide_8.jpg)
Discrete Simulation of Behavioural Hybrid Process Calculus Tomas Krilavičius Helen Shonenberg University of Twente. - ppt download
![Tomas KRILAVIČIUS | Professor (Full) | PhD | Vytautas Magnus University, Kaunas | Faculty of Informatics Tomas KRILAVIČIUS | Professor (Full) | PhD | Vytautas Magnus University, Kaunas | Faculty of Informatics](https://www.researchgate.net/profile/Tomas-Krilavicius/publication/345373008/figure/tbl2/AS:994373944741888@1614088631144/Relative-treatment-effects_Q320.jpg)