Login / Signup
ICTAC Summmer School
Publications
2021
Padmanabhan Krishnan
Security Research: Program Analysis Meets Security.
ICTAC Summmer School
(2021)
Antonio Cerone
Modelling and Analysing Cognition and Interaction.
ICTAC Summmer School
(2021)
Wil M. P. van der Aalst
Object-Centric Process Mining: An Introduction.
ICTAC Summmer School
(2021)
Alan J. Dix
Modelling Interactions: Digital and Physical.
ICTAC Summmer School
(2021)
Benjamin Tyler
Formal Methods Adoption in Industry: An Experience Report.
ICTAC Summmer School
(2021)
Ana Cavalcanti
,
Ziggy Attala
,
James Baxter
,
Alvaro Miyazawa
,
Pedro Ribeiro
Model-Based Engineering for Robotics with RoboChart and RoboTool.
ICTAC Summmer School
(2021)