Work

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

Year: 2022

Type: article

Source: Science of Computer Programming

DOI: 10.1016/j.scico.2022.102859

Authors: Abdelouahab Fortas, Elhillali Kerkouche, Allaoua Chaoui

Institutions: University of Jijel, Université Constantine 2

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W4292381902

FWCI: 2.786

Cites: 41

Cited by: 16

Related to: 10