发文分析
近年国家/地区发文量统计
| 国家/地区 | 数量 |
|---|---|
| GERMANY (FED REP GER) | 36 |
| France | 28 |
| USA | 18 |
| England | 16 |
| Italy | 16 |
| Canada | 11 |
| Austria | 9 |
| Czech Republic | 9 |
| Denmark | 9 |
| Netherlands | 9 |
近年机构发文量统计
| 机构 | 数量 |
|---|---|
| CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (... | 15 |
| COMMUNAUTE UNIVERSITE GRENOBLE ALPES | 9 |
| TECHNICAL UNIVERSITY OF DARMSTADT | 8 |
| CONSIGLIO NAZIONALE DELLE RICERCHE (CNR) | 7 |
| INRIA | 7 |
| UNIVERSITY OF MUNICH | 6 |
| AALBORG UNIVERSITY | 5 |
| UNIVERSITE CATHOLIQUE LOUVAIN | 5 |
| UNIVERSITY OF TWENTE | 5 |
| CEA | 4 |
近年文章引用他刊数据
| 文章名称 | 引用次数 |
|---|---|
| Mining parametric temporal logic properties in model-bas... | 4 |
| Spatio-temporal model checking of vehicular movement in ... | 4 |
| Formal modeling and analysis of ad hoc Zone Routing Prot... | 3 |
| Exact finite-state machine identification from scenarios... | 2 |
| Towards formal methods diversity in railways: an experie... | 2 |
| First international Competition on Runtime Verification:... | 2 |
| Reliable benchmarking: requirements and solutions | 2 |
| Automated translation of VDM to JML-annotated Java | 2 |
| Combining sequentialization-based verification of multi-... | 2 |
| Symmetry reduction in CSP model checking | 2 |
近年被他刊引用数据
| 期刊名称 | 引用次数 |
|---|---|
| INT J SOFTW TOOLS TE | 34 |
| IEEE ACCESS | 22 |
| SOFTW SYST MODEL | 19 |
| INFORM SOFTWARE TECH | 12 |
| SCI COMPUT PROGRAM | 12 |
| J LOG ALGEBR METHODS | 10 |
| J SYST SOFTWARE | 10 |
| FORM METHOD SYST DES | 7 |
| FORM ASP COMPUT | 6 |
| SOFTWARE QUAL J | 6 |