Immediate Impact
2 hit
Citing Papers
Network Intrusion Detection for IoT Security Based on Learning Techniques
2019 Hit
A brief account of runtime verification
2008 Hit
Works of Volker Stolz being referenced
Robustness testing for software components
2010
Temporal Assertions using AspectJ
2006