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