Model checking human–human communication protocols using task models and miscommunication generation. Bolton, M. L Journal of Aerospace Information Systems, 2015.
Model checking human–human communication protocols using task models and miscommunication generation [link]Paper  bibtex   
@article{6c19RG8AAAAJ:TQgYirikUcIC,
 URL = {https://arc.aiaa.org/doi/abs/10.2514/1.i010276},
 author = {Matthew L Bolton},
 journal = {Journal of Aerospace Information Systems},
 title = {Model checking human–human communication protocols using task models and miscommunication generation},
 year = {2015}
}

Downloads: 0