Controller dependability analysis by probabilistic model checking

Marta Kwiatkowska, Gethin Norman, David Parker

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Publication status	Published - 1 Jan 2004
Event	11th IFAC Symposium on Information Control Problems in Manufacturing - Duration: 1 Jan 2004 → …

Conference	11th IFAC Symposium on Information Control Problems in Manufacturing
Period	1/01/04 → …

Cite this

@conference{866bb4c102db4046a84a5c36cca6ee68,

title = "Controller dependability analysis by probabilistic model checking",

author = "Marta Kwiatkowska and Gethin Norman and David Parker",

year = "2004",

month = jan,

day = "1",

language = "English",

note = "11th IFAC Symposium on Information Control Problems in Manufacturing ; Conference date: 01-01-2004",

}