Das ProB-Werkzeug zur Validierung formaler Softwaremodelle

Leuschel, Michael and Bendisposto, Jens (2006) Das ProB-Werkzeug zur Validierung formaler Softwaremodelle. In: Jahrbuch der Heinrich-Heine-Universität Düsseldorf 2005/ 2006. Heinrich-Heine-Universität Düsseldorf, Düsseldorf, pp. 199-208. ISBN 3-9808514-4-3

[img] Text
Leuschel-Bendiposto.pdf

Download (2MB)
Item Type: Book Section
Subjects: News about Research and Teaching at the HHUD > 2005
News about Research and Teaching at the HHUD > 2006
Depositing User: Miray Celenk
Date Deposited: 31 Jul 2014 10:08
Last Modified: 31 Jul 2014 10:08
URI: http://dup.oa.hhu.de/id/eprint/239

Actions (login required)

View Item View Item