NASA Formal Methods 2023 (series) / Florian Lorber
![Florian Lorber](https://conf.researchr.org/getProfileImage/florianlorber/09558ba3-247b-4511-b9d1-f02bb49d0c04/small.jpg?1711521774000)
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
NASA Formal Methods 2023-profile
View general profile
View general profile