Formal Analysis of an IoT-Based Healthcare Application.

Maissa Elleuch Sofiène Tahar

Published in: ISCC (2023)

Keyphrases

formal analysis
cloud computing
artificial intelligence
information systems
expert systems
information technology
management system
object oriented
model checking