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 |