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-06-12 at 05:45