Institutional Repository
| 混合系统的形式化模型 | |
| Alternative Title | formal models for hybrid systems |
| 张广泉; 沈一栋 | |
| 1999 | |
| Source | 重庆大学学报（自然科学版）
 |
| Volume | 22Issue:6 |
| Indexed Type | wanfang |
| Keyword | 混合系统 计算模型 混合转换系统 |
| Department | 计算机科学国家重点实验室 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/4564 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 张广泉,沈一栋. 混合系统的形式化模型[J]. 重庆大学学报（自然科学版）,1999,22(6). |
| APA | 张广泉,&沈一栋.(1999).混合系统的形式化模型.重庆大学学报（自然科学版）,22(6). |
| MLA | 张广泉,et al."混合系统的形式化模型".重庆大学学报（自然科学版） 22.6(1999). |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 10.pdf（176KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment