Showing 1 - 11 results of 11 for search 'Fruth, M', query time: 0.02s
Refine Results
-
1
Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low−Rate Wireless Personal Area Network Protocol by Fruth, M
Published 2006Conference item -
2
-
3
-
4
Neue Absicherungsstrategien für Steuergerätesoftware by Deutschmann, R, Fruth, M, Zabelt, M
Published 2010Book section -
5
Graphical modelling for simulation and formal analysis of wireless network protocols by Fehnker, A, Fruth, M, McIver, A
Published 2007Conference item -
6
Graphical modelling for simulation and formal analysis of wireless network protocols by Fehnker, A, Fruth, M, McIver, A
Published 2009Book section -
7
Trace Checking with Real−Time Specifications by Deutschmann, R, Fruth, M, Reichel, H, Reuss, H
Published 2004Conference item -
8
CaVi: Simulation and Model Checking for Wireless Sensor Networks by Boulis, A, Fehnker, A, Fruth, M, McIver, A
Published 2008Conference item -
9
Model Checking in an Industrial Environment by Hensel, U, Fordran, E, Fruth, M, Shaoyu, H, Srinivasan, M
Published 2003Conference item -
10
Optimizing ZigBee Security using Stochastic Model Checking by Yüksel, E, Nielson, H, Nielson, F, Fruth, M, Kwiatkowska, M
Published 2010Report -
11
Optimizing Key Updates in Sensor Networks by Yüksel, E, Nielson, H, Nielson, F, Fruth, M, Kwiatkowska, M
Published 2011Conference item