VTT
AI in Healthcare is a vast topic which entails major changes in many sectors related to health. This section provides references on projects and results which are of utmost importance for the sector of healthcare.
Dezyne is a programming language and a set of tools to specify, validate, verify, simulate, document, and implement concurrent control software for embedded and cyber-physical systems.