Chen-Wei Wang

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Jim Davies

> Home > Persons > Chen-Wei Wang

Publications

2015
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/DaviesMWW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DaviesMWW15
Jim Davies, David Milward, Chen-Wei Wang, James Welch:
Formal model-driven engineering of critical information systems. Sci. Comput. Program. 103: 88-113 (2015)
2012
[c4]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1301-0044
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1301-0044
Chen-Wei Wang, Jim Davies:
Formal Model-Driven Engineering: Generating Data and Behavioural Components. FTSCS 2012: 100-117
2011
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/WangCD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/WangCD11
Chen-Wei Wang, Alessandra Cavarra, Jim Davies:
Formal and Model-Based Testing of Concurrent Workflows. QSIC 2011: 252-259
2010
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/WangDW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/WangDW10
Chen-Wei Wang, Jim Davies, James Welch:
A Guarded Workflow Language and Its Formal Semantics. TASE 2010: 25-34

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.