Name
Title | ||
|---|---|---|
Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings |
Year | Venue | Keywords |
|---|---|---|
2005 | FMOODS | distributed system,formal method |
Field | DocType | Volume |
Programming language,XML,Computer science,Correctness,Formal specification,Formal methods,Component-based software engineering,Web service,Process calculus,RDF | Conference | 3535 |
ISBN | Citations | PageRank |
isbn | 20 | 1.39 |
References | Authors | |
0 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Martin Steffen | 1 | 122 | 10.32 |
| Gianluigi Zavattaro | 2 | 1953 | 127.60 |