TECoSA seminar – Engineering Nondeterminism: Towards Trustworthy Cyber-Physical Systems
TECoSA Seminar with Marjan Sirjani, Mälardalen University and KTH, will take place on Sept 10. Zoom-link for the seminar is : https://kth-se.zoom.us/j/66857695267 Abstract: Distributed cyber-physical systems such as autonomous vehicles, industrial controllers,… Read More »TECoSA seminar – Engineering Nondeterminism: Towards Trustworthy Cyber-Physical Systems