Dataciencia

Colección SciELO Chile

Model checking a generic framework for Static Context Header Compression and Fragmentation (SCHC)

Indexado

Scopus

SCOPUS_ID:85118846572

DOI

Año

2021

Tipo

Citas Totales

Autores Afiliación Chile

Instituciones Chile

% Participación
Internacional

Autores
Afiliación Extranjera

Instituciones
Extranjeras

Abstract

The purpose of this investigation is to verify that the communication Static Context Header Compression and fragmentation (SCHC) framework fulfills the property of packet order and integrity. The standard will be modeled by state machines that represents the behaviour of the generic version and the LoRaWAN profile of SCHC.

Revista

Revista	ISSN
Dateso 2011: Databases, Texts, Specifications, Objects	1613-0073

Disciplinas de Investigación

WOS
Sin Disciplinas

Scopus
Sin Disciplinas

SciELO
Sin Disciplinas

Muestra la distribución de disciplinas para esta publicación.

Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.

Colaboración Institucional

Muestra la distribución de colaboración, tanto nacional como extranjera, generada en esta publicación.

Autores - Afiliación

Ord.	Autor	Género	Institución - País
1	Valdes, Valeria	Mujer	Universidad de Chile - Chile

Muestra la afiliación y género (detectado) para los co-autores de la publicación.

Financiamiento

Fuente
Fondo Nacional de Desarrollo Científico y Tecnológico

Muestra la fuente de financiamiento declarada en la publicación.

Agradecimientos

Agradecimiento
Este trabajo es financiado por ANID FONDECYT 1201893.