发行时间:0001.01.01
总页数:41
编辑:
综保科技
摘要:
airspace management decision tool
validating the behavior and structure of software design
kerin thornton
enpm 643 system validation and verification fall 2005
1
table of contents introduction.................................................................................................................3 problem statement...................................................................................................3 assumptions ......................................................