Formalizing Guard-Stage-Milestone meta-models as Data-Centric Dynamic Systems

Report

Open access

Peer reviewed

2012

Handle:

https://hdl.handle.net/10863/5041

Files and links (2)

pdf

KRDB12-4869.84 kBDownload View

Open Access

url

http://www.inf.unibz.it/krdb/pub/TR/KRDB12-4.pdfView

Title: Formalizing Guard-Stage-Milestone meta-models as Data-Centric Dynamic Systems
Creators: Dmitry Solomakhin
Marco Montali
Sergio Tessaris
Identifiers: (UNIBZ)1540020
991005772600501241
Academic Unit: Faculty of Computer Science
Faculty of Computer Science
Faculty of Computer Science
Language: English
Resource Type: Report
Author Names String: Solomakhin D, Montali M, Tessaris S
Additional Description: description: Report: KRDB Research Centre, Faculty of Computer Science, Free University of Bozen-Bolzano; KRDB12-4

7 File views/ downloads

16 Record Views