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

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Lilius J, Porres Paltor I
Redaktörer: Ralph H. Sprague
Förläggare: IEEE Computer Society
Publiceringsår: 2000
Förläggare: IEEE Computer Society
Moderpublikationens namn: Proceedings of the Thirty-Third Annual Hawaii International Conference on System Sciences
ISBN: 978-0769504933

Senast uppdaterad 2019-11-11 vid 03:10