Introducing Regression Tests and Upgrades to the INTO-CPS Application

von Talasila, Prasad
Veröffentlicht in ASYDE (2. : 2020 : Online) Software engineering and formal methods (2021)

Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins

von Talasila, Prasad
Veröffentlicht in SEFM (19. : 2021 : Online) Software engineering and formal methods (2022)