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 等数据库收录! |
|