Registered user since Mon 5 Jul 2021
Name:Christoph Luckeneder
Affiliation:Vienna University of Technology
Contributions
* ICSE 2018 * | Poster T27: Systematic Top-down Design of Cyber-physical Models with Integrated Validation and Formal Verification | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
* ICSE 2018 *-profile
View general profile
View general profile