![]() |
@article{DBLP:journals/fmsd/DohertyMF01,
author = {Gavin J. Doherty and
Mieke Massink and
Giorgio P. Faconti},
title = {Using Hybrid Automata to Support Human Factors Analysis
in a Critical System},
journal = {Formal Methods in System Design},
volume = {19},
number = {2},
year = {2001},
pages = {143-164},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2005-02-22 by Michael Ley (ley@uni-trier.de)