Sciweavers

RV
2010
Springer
153views Hardware» more  RV 2010»
13 years 2 months ago
Run-Time Verification of Networked Software
Most applications that are in use today inter-operate with other applications, so-called peers, over a network. The analysis of such distributed applications requires that the effe...
Cyrille Valentin Artho