2   Artículos

« Anterior     Página: 1 de 1     Siguiente »

 
en línea
Mohd Anuaruddin Bin Ahmadon and Shingo Yamaguchi    
In this paper, we proposed a verification method for the message passing behavior of IoT systems by checking the accumulative event relation of process models. In an IoT system, it is hard to verify the behavior of message passing by only looking at the ... ver más
Revista: Information    Formato: Electrónico

 
en línea
Pablo Vera-Soto, Javier Villegas, Sergio Fortes, José Pulido, Vicente Escaño, Rafael Ortiz and Raquel Barco    
Aircraft are composed of many electronic systems: sensors, displays, navigation equipment, and communication elements. These elements require a reliable interconnection, which is a major challenge for communication networks since high reliability and pre... ver más
Revista: Aerospace    Formato: Electrónico

« Anterior     Página: 1 de 1     Siguiente »