Work

PERCI: Smart Contract Verification Process for IoT Applications

Year: 2025

Type: conference-paper

DOI: 10.1109/lciot64881.2025.11118369

Authors: Joyce Quintino, Carina Oliveira, Rossana Andrade

Institutions: Universidade Federal do Ceará, Instituto Federal de Educação, Ciência e Tecnologia do Ceará

Language: English

Topic: Blockchain Technology Applications and Security

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: closed

OpenAlex ID: W4413319684

FWCI:

Cites: 6

Cited by:

Related to: 10