Controller dependability analysis by probabilistic model checking

Research output: Contribution to conference (unpublished)Paper

Standard

Controller dependability analysis by probabilistic model checking. / Kwiatkowska, Marta; Norman, Gethin; Parker, David.

2004. Paper presented at 11th IFAC Symposium on Information Control Problems in Manufacturing, .

Research output: Contribution to conference (unpublished)Paper

Harvard

Kwiatkowska, M, Norman, G & Parker, D 2004, 'Controller dependability analysis by probabilistic model checking', Paper presented at 11th IFAC Symposium on Information Control Problems in Manufacturing, 1/01/04.

APA

Kwiatkowska, M., Norman, G., & Parker, D. (2004). Controller dependability analysis by probabilistic model checking. Paper presented at 11th IFAC Symposium on Information Control Problems in Manufacturing, .

Vancouver

Kwiatkowska M, Norman G, Parker D. Controller dependability analysis by probabilistic model checking. 2004. Paper presented at 11th IFAC Symposium on Information Control Problems in Manufacturing, .

Author

Kwiatkowska, Marta ; Norman, Gethin ; Parker, David. / Controller dependability analysis by probabilistic model checking. Paper presented at 11th IFAC Symposium on Information Control Problems in Manufacturing, .

Bibtex

@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",

}

RIS

TY - CONF

T1 - Controller dependability analysis by probabilistic model checking

AU - Kwiatkowska, Marta

AU - Norman, Gethin

AU - Parker, David

PY - 2004/1/1

Y1 - 2004/1/1

M3 - Paper

T2 - 11th IFAC Symposium on Information Control Problems in Manufacturing

Y2 - 1 January 2004

ER -