TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 27 records were found in 0.125 seconds
Building a Formal Model of a Human-interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering
NASA Formal Methods, 6-15, 2009