BrighterTube

FA'18 20: Virtual Substitution & Real Equations - Logical Foundations of Cyber-Physical Systems

KIT || Carnegie Mellon University, Dynamic Logic667 subscribers

Why it's on BrighterTube

Editorial review · 85% confidence

Round-9 hunt: picked; channel-level screens (sellers/exam/re-upload/devotional/vendor) passed; strict per-title check + final strict pass; oEmbed verified.

What you'll learn

A 75-minute video from KIT || Carnegie Mellon University, Dynamic Logic: “FA'18 20: Virtual Substitution & Real Equations - Logical Foundations of Cyber-Physical Systems”.

Programming & CS

Video by KIT || Carnegie Mellon University, Dynamic Logic, played through YouTube's embedded player.