发文地区与机构
近年国家 / 地区发文量统计
| 国家 / 地区 | 发文量 |
|---|---|
| England | 44 |
| France | 42 |
| Brazil | 41 |
| Italy | 33 |
| GERMANY (FED REP GER) | 32 |
| CHINA MAINLAND | 26 |
| USA | 24 |
| Netherlands | 22 |
| Spain | 16 |
| Sweden | 16 |
近年机构发文量统计
| 机构 | 发文量 |
|---|---|
| CENTRE NATIONAL DE LA RECHERCHE SCIENTI... | 23 |
| INRIA | 18 |
| EAST CHINA NORMAL UNIVERSITY | 8 |
| UNIVERSITY OF OSLO | 8 |
| UNIVERSIDADE FEDERAL DE MINAS GERAIS | 7 |
| UNIVERSIDADE FEDERAL DE PERNAMBUCO | 7 |
| UNIVERSITY OF LUXEMBOURG | 7 |
| EINDHOVEN UNIVERSITY OF TECHNOLOGY | 6 |
| UNIVERSITY OF BOLOGNA | 6 |
| COMMUNAUTE UNIVERSITE GRENOBLE ALPES | 5 |
文章引用情况
1
Structure and behavior preserving statecharts refinements2
Model driven engineering of accessible and multi-platform graphical user interfaces by parameterized model transformations3
Bisimilarity of open terms in stream GSOS4
A Coq library for internal verification of running-times5
EXTREMO: An Eclipse plugin for modelling and meta-modelling assistance6
Agile validation of model transformations using compound F-Alloy specifications7
Integrating formal methods into medical software development: The ASM approach8
Realizability of schedules by stochastic time Petri nets with blocking semantics9
A rewriting logic approach to resource allocation analysis in business process models10
Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems