Florian Lorber

Registered user since Fri 8 Nov 2019

Name:Florian Lorber
Country:Denmark
Affiliation:Aalborg University
Research interests:Model-based testing, mutation testing, automata learning, timed automata, strategy generation

Contributions

Show activities from other conferences

NASA Formal Methods 2023-profile
View general profile