.gif)
A Case Study in Information System Design, The CATC System
| Title | A Case Study in Information System Design, The CATC System |
| Publication Type | Conference Paper |
| Year of Publication | 1996 |
| Public | no |
| Authors | Kowsari, M., P. Hartel, G. Denker, and H. - D. Ehrich |
| Conference Name | FME'96: Industrial Benefit and Advances in Formal Methods, Oxford, UK, March 1996, poster session |
| Abstract | no |