Abstract | ||
---|---|---|
This chapter summarizes the knowledge gained through work with the different modelling, specification, verification, and validation approaches to the Production Cell problem. Each of the 18 contributions is briefly presented and discussed according to a set of evaluation criteria. It turns out, that it is not easy to directly compare the different contributions, because different aspects of the same problem have been modelled, formally specified, or verified. The section on evaluation summarizes the most important conclusions concerning the suitability of the different approaches to tasks of which the Production Cell is representative. |
Year | DOI | Venue |
---|---|---|
1995 | 10.1007/3-540-58867-1_47 | Formal Development of Reactive Systems |
Keywords | DocType | ISBN |
Comparative Survey | Conference | 3-540-58867-1 |
Citations | PageRank | References |
2 | 0.44 | 11 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Claus Lewerentz | 1 | 665 | 64.65 |
Thomas Lindner | 2 | 183 | 24.29 |