External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification

Roman Popp, Ralph Hoch, Hermann Kaindl. A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification. In 50th Hawaii International Conference on System Sciences, HICSS 2017, Hilton Waikoloa Village, Hawaii, USA, January 4-7, 2017. pages 1-10, AIS Electronic Library (AISeL), 2017. [doi]

Authors

Roman Popp

This author has not been identified. Look up 'Roman Popp' in Google

Ralph Hoch

This author has not been identified. Look up 'Ralph Hoch' in Google

Hermann Kaindl

This author has not been identified. Look up 'Hermann Kaindl' in Google
runs on