|
|||||
|
|
A quantitative comparison of the effects of modeling approaches on system verification using a controlled challenge problem |
|
| Authors: | Barrett Don Mazzuchi Thomas Sarkani Shahram |
| Affiliation: | 1.George Washington University, Washington, DC, 20052, USA ; |
| Abstract: | Requirements Engineering - To reduce program risks, engineering methods capitalizing on modeling and machine assistance have been extensively investigated within systems engineering (and more... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |