OPAL auf der 54. gmds-Jahrestagung

54. gmds-Jahrestagung, Essen
Anwendbarkeit formaler Methoden für die Risikoanalyse drahtloser Sensornetzwerke im Krankenhaus
Andreas Becker, Martin Sedlmayr, Fritz Meier, Hans-Ulrich Prokosch, Thomas Ganslandt