Robustness Guided Testing and Verification for Cyber-Physical Systems video.mp4
Name | Value |
|---|
| Audio bits per sample | 16 |
| Audio channel mode | stereo |
| Audio channels | 2 |
| Audio codec | ISO/IEC 14496-3 AAC |
| Audio data format | mp4 |
| Audio sample rate | 44100 |
| Height | 720 |
| MIME type | video/mp4 |
| Playtime seconds | 299.8161 |
| Playtime string | 5:00 |
| Size | 170.17 MB |
| Video data format | quicktime |
| Video frame rate | 35 |
| Width | 1280 |
