Dan Lawesson

Publication Activity (10 Years)

Years Active: 2003-2006
Publications (10 Years): 0

Linköping University, Sweden (PHD)

Education History

Linköping University, Sweden

PHD

Publications

Dan Lawesson, Ulf Nilsson, Inger Klein
An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems. Electron. Notes Theor. Comput. Sci. 149 (2) (2006)
Dan Lawesson, Ulf Nilsson, Inger Klein
Fault isolation in discrete event systems by observational abstraction. CDC (2003)