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 2019-24-10 at 03:09