Formal Methods for Internet of Things: a Concise Classification
No Thumbnail Available
Files
Date
2024
Journal Title
Journal ISSN
Volume Title
Publisher
Université M’hamed Bougara de Boumerdes : Faculté des Sciences
Abstract
Description
Keywords
Internet, Artificial intelligence, Power and energy transition