Shayan Jalili awarded 2020 NASA fellowship for safety verification of parallel cyber-physical systems

The proposed work models cyber-physical systems in the programming language Zelus, a synchronous programming language that enables ...
read source