More Deterministic Software for Cyber-Physical Systems (ASYDE Keynote)
Why the open web links it
Discusses approaches to building more deterministic and verifiable software for cyber-physical systems.
Linked by 2 independent sites, 2 of them widely read in the 2026-10 crawl of the open web, including berkeley.edu, univaq.it.