MPG.eBooks - Search Results - "healthcare _"

Cover Image

1

Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings

Published 2020

Springer International Publishing

“.... The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare...”

Cover Image

2

Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures

Published 2023

Springer International Publishing

“...-computer interaction, cognitive science, business process management, robotics, and healthcare...”