计算机学科前沿论坛之十九——Formal design of safety-critical embedded systems
计算机学科前沿论坛之十九报告题目:Formal design of safety-critical embedded systems 报告人:詹乃军 中国科学院软件研究所特聘教授、博士生导师、国家杰出青年科学基金获得者报告时间:2022年11月16日下午2:30-3:30腾讯会议:348-455-212报告摘要: I will report our recent work on model-based formal design of embedded systems. In our approach, one can build a graphical model of a system to be developed with...