FORMAL METHODS IN SYSTEM DESIGN
| 基础信息 | |||
| ISSN: | 0925-9856 | 学科： | 电机; 计算技术、计算机技术 |
| EI收录： | 是 | Medline收录： | 否 |
| SCI收录： | 是 | JCR分区 | |
| 出版物类型： | 期刊 | 出版社： | Springer New York LLC |
| 国家： | 美国 | 网址： | http://www.springer.com/engineering/circuits+&+systems/journal/10703 |
| 语言： | 英语 | 内容类型： | 学术 |
| 刊期： | 双月刊 | ||
| 分级结果 | ||
| 学会名称 | 学科领域 | 所属级别 |
| 中国电子学会 | 计算机技术领域 | T2 |