Nicklas Bystedt

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Fixed Point Semantics

Precise Definition

False Positives

Top Venues

Int. J. Netw. Manag.

Publications

Stefan Wallin, Viktor Leijon, Johan Nordlander, Nicklas Bystedt
The semantics of alarm definitions: enabling systematic reasoning about alarms. Int. J. Netw. Manag. 22 (3) (2012)