Travelled to:
1 × Portugal
Collaborated with:
K.M.Göschka
Talks about:
specif (1) formal (1) domain (1) verif (1) model (1) busi (1) base (1) xml (1)
Person: Wolfgang Schuetzelhofer
DBLP: Schuetzelhofer:Wolfgang
Contributed to:
Wrote 1 papers:
- ICEIS-v3-2004-SchuetzelhoferG #domain model #modelling #specification #verification #xml
- Formal Specification and Verification of XML-Based Business Domain Models (WS, KMG), pp. 209–216.