Author: Francis Schneider

Publications

Publication period start: 1998
Number of co-authors: 3

Co-authors

Number of publications with favourite co-authors
Steve M. Easterbrook
1
John R. Callahan
1
Gerard J. Holzmann
1

Productive Colleagues

Most productive colleagues in number of publications
John R. Callahan
4
Gerard J. Holzmann
4
Steve M. Easterbrook
24

Publications

Schneider, Francis, Easterbrook, Steve M., Callahan, John R., Holzmann, Gerard J. (1998): Validating Requirements for Fault Tolerant Systems using Model Checking. In: 3rd International Conference on Requirements Engineering ICRE 98, Putting Requirements Engineering to Practice, April 6-10, 1998, Colorado Springs, CO, USA, Proceedings , 1998, . pp. 4-13. https://csdl.computer.org/comp/proceedings/icre/1998/8356/00/83560004abs.htm