文件的详细信息

存款

Scholars Archive Admin

日上传

2017-10-27

修改日期

2017-10-27

固定性检查

passed 2 File with 2 total version checked 2024-04-15 16:54:23 -0700

表征

File Format: pdf (Portable Document Format)

File Title: Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning

Page Count: 38

File Size: 866858

Original Checksum: 8dc05aae12307aa0a797cc4ef34dd16a

Mime Type: application/pdf