Registered user since Mon 5 Jul 2021
Name:Christoph Luckeneder
Affiliation:Vienna University of Technology
Contributions
ICSE 2022 | Verification of Consistency between Process Models, Object Life Cycles, and Context-dependent Semantic Specifications | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2022-profile
View general profile
View general profile