Artwork for Verifying Distributed Adaptive Real-Time Systems
SEI Podcasts

Verifying Distributed Adaptive Real-Time Systems
00:00:00 / 00:47:02