The Production Cell: An Exercise in the Formal Verification of a UML Model

A4 Conference proceedings

Internal Authors/Editors

Publication Details

List of Authors: Lilius J, Porres Paltor I
Editors: Ralph H. Sprague
Publisher: IEEE Computer Society
Publication year: 2000
Publisher: IEEE Computer Society
Book title: Proceedings of the Thirty-Third Annual Hawaii International Conference on System Sciences
ISBN: 978-0769504933

Last updated on 2020-26-05 at 03:22