Controller dependability analysis by probabilistic model checking

Marta Kwiatkowska, Gethin Norman, David Parker

Research output: Contribution to conference (unpublished)Paper

Original languageEnglish
Publication statusPublished - 1 Jan 2004
Event11th IFAC Symposium on Information Control Problems in Manufacturing -
Duration: 1 Jan 2004 → …

Conference

Conference11th IFAC Symposium on Information Control Problems in Manufacturing
Period1/01/04 → …

Cite this