形式化方法论文

UML中导数的精确定义和分析

一、UML中衍型的精确定义与分析（论文文献综述）黄信欢[1]（2017）在《基于场景的中断驱动系统建模与验证》文中认为中断驱动系统被广泛应用于安全关键的嵌入式系统中,如航空航天...