Work

A Process Algebraic Methodology for Verifying Reliability and Safety of Smart IoT Systems

Year: 2025

Type: article

Source: Korean Institute of Smart Media

DOI: 10.30693/smj.2025.14.5.34

Authors: Jun Sup Song, Moon Kun Lee

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: closed

OpenAlex ID: W4411161673

FWCI:

Cites:

Cited by:

Related to: 10