Name
Title | ||
|---|---|---|
Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST). |
Abstract | ||
|---|---|---|
An abstract is not available.
|
Year | DOI | Venue |
|---|---|---|
2018 | 10.1145/3177772 | ACM Trans. Model. Comput. Simul. |
Keywords | Field | DocType |
Collective Adaptive Systems, Formal methods, system specification and verification | Mathematical optimization,Computer science,Formal methods,Collective adaptive systems,Management science | Journal |
Volume | Issue | ISSN |
28 | 2 | 1049-3301 |
Citations | PageRank | References |
2 | 0.38 | 12 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Maurice H. ter Beek | 1 | 718 | 62.08 |
| Michele Loreti | 2 | 812 | 58.60 |
| BeekMaurice H. Ter | 3 | 2 | 0.38 |