Formal verification of IoT applications using rewriting logic: An MDE-based approach

Autor:	Fortas, Abdelouahab, Kerkouche, Elhillali, Chaoui, Allaoua
Zdroj:	In Science of Computer Programming 1 October 2022 222
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect