Robustness Guided Testing and Verification for Cyber-Physical Systems video.mp4

Namesort iconValue
Audio bits per sample16
Audio channel modestereo
Audio channels2
Audio codecISO/IEC 14496-3 AAC
Audio data formatmp4
Audio sample rate44100
Height720
MIME typevideo/mp4
Playtime seconds299.8161
Playtime string5:00
Size170.17 MB
Video data formatquicktime
Video frame rate35
Width1280