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

D4 Published development or research report or study


Internal Authors/Editors


Publication Details

List of Authors: Johan Lilius, Ivan Porres Paltor
Publisher: Turku Centre for Computer Science (TUCS)
Publication year: 1999
Title of series: TUCS Technical Report
Number in series: 288
Number of pages: 20
ISBN: 952-12-0480-X
ISSN: 1239-1891

Last updated on 2020-04-06 at 05:57