TDG Scholar TDGScholar Committed to research! Version 1.7


| Report | Share
More than 125 records were found in 0.812 seconds
Model & Simulations in an Agile and Lean Environment (abstract)
HSC, 39, 2009
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