Proceedings of the 50th Hawaii International Conference on System Sciences 2017
Book title Buchtitel
Proceedings of the 50th Hawaii International Conference on System Sciences 2017
Results 1-3 of 3 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Popp, Roman ; Hoch, Ralph ; Kaindl, Hermann | A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification | Konferenzbeitrag Inproceedings  | 2017 | |
| 2 | Luckeneder, Christoph ; Rathmair, Michael ; Kaindl, Hermann | Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation | Konferenzbeitrag Inproceedings | 2017 | |
| 3 | Popp, Roman ; Kaindl, Hermann | Stateful SOA-conformant Services as Building Blocks for Interactive Software Systems | Konferenzbeitrag Inproceedings | 2017 |