Establishing properties of frameworks and their applications : a case study using alloy and object-z
Christian Heger und Lothar Schmitz
| Year of publication: |
2009
|
|---|---|
| Authors: | Heger, Christian ; Schmitz, Lothar |
| Publisher: |
Neubiberg : Universität der Bundeswehr München |
| Description of contents: | Table of Contents [digitool.hbz-nrw.de] |
| Extent: | 28 S. : graph. Darst. |
|---|---|
| Series: | Bericht / Universität der Bundeswehr München, Fakultät für Informatik. - Neubiberg. - Vol. 2009,01 |
| Type of publication: | Book / Working Paper |
| Language: | German |
| Classification: | Betriebliche Information und Kommunikation |
| Source: |
Persistent link: https://www.econbiz.de/10004931244