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