FORMAL METHODS IN SYSTEM DESIGN
- Title
- FORMAL METHODS IN SYSTEM DESIGN
- ISSN
- 0925-9856
- EISSN
- 1572-8102
- Publisher
- SPRINGER
- Language
- English
- Database
-
Web of Science (SCIE)
Research Area
| Name(En) | Name(Zh) | XinRui Ranking | Top |
|---|---|---|---|
| Computer Science | 计算机科学 | T 4 | — |
JCR Category
| Name(En) | Name(Zh) | XinRui Ranking |
|---|---|---|
| COMPUTER SCIENCE, THEORY & METHODS | 计算机：理论方法 | T 3 |