搜索到 篇“ 非形式化 “的相关文章

相关作者

俞昕
作品数：186被引量：186H指数：6
供职机构：浙江省杭州高级中学
研究主题：高中数学 数学 数学教学 数学教师 高中数学教学
周勇
作品数：147被引量：114H指数：6
供职机构：南京航空航天大学
研究主题：AADL 安全关键软件 自动生成方法 L模型 AAD
杨志斌
作品数：98被引量：152H指数：7
供职机构：南京航空航天大学
研究主题：AADL 自动生成方法 安全关键软件 L模型 AAD
罗展华
作品数：14被引量：14H指数：2
供职机构：湖州市第二中学
研究主题：非形式化 高考题 数学高考命题 复习教学 管窥
谢健
作品数：50被引量：54H指数：4
供职机构：南京航空航天大学
研究主题：AADL 规约 自动转换 自动生成方法 层次化