2. 您的位置
3. 首页
4. 学位论文
5. 基于形式化的UML图分析和验证

基于形式化的UML图分析和验证

来源 :重庆大学 | 被引量 : 0次 | 上传用户：WYH5198

【出 处】

：

重庆大学

【发表日期】

：

2020年1期

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

“文艺荟”广聚粉丝打响品牌缤纷惠民活动火热推动

期刊

浅谈提高护理团队凝聚力

会议

火力发电厂电气节能降耗的问题与技术措施

期刊

戈谢病5例临床分析

期刊

轻基质组分对油橄榄扦插容器育苗的影响网络首发

期刊

基于PLC的负压铸造工艺智能控制系统设计网络首发

期刊

发展乡村产业要避免同质化

报纸

侦查阶段认罪认罚从宽制度的适用与完善

期刊

基于疲劳累积损伤的沥青路面使用寿命预估研究

学位

产前超声诊断胎儿左心发育不良综合征1例

期刊