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 |