ARTÍCULO
TITULO

Specification and Verification of Multimedia Synchronization Scenarios Using Time-Estelle

Tsang    
T    
Lai    
R    

Resumen

No disponible

 Artículos similares

       
 
Anant Sujatanagarjuna, Arne Bochem and Benjamin Leiding    
Protocol flaws such as the well-known Heartbleed bug, security and privacy issues or incomplete specifications, in general, pose risks to the direct users of a protocol and further stakeholders. Formal methods, such as Colored Petri Nets (CPNs), facilita... ver más
Revista: Information

 
Vlastimil Clupek, Tomas Horvath, Petr Munster and Vaclav Oujezsky    
Passive optical networks are currently the most promising solution for access networks. These networks rely on broadcast signal distribution in the downstream direction and unicast signal transmission in the upstream direction. The upstream direction is ... ver más
Revista: Applied Sciences

 
Wiktor B. Daszczuk    
-
Revista: Computers

 
Xiang Zhou, Xiaohong Chen, Luning Shao     Pág. 1126 - 1136
The development of world-class international shipping centers has proved that there isn?t a specific pattern for the development of the freight collection and distribution system. Measures should be taken to give a full play to integrated advantages by g... ver más

 
Tsai, J J P; Liu, A; Juan, E; Sahay, A     Pág. 187 - 201