Registered user since Wed 4 Sep 2019
Name:Marina Reich
Country:Germany
Affiliation:Chemnitz University of Technology/ Airbus Defence and Space GmbH
Contributions
| ASE 2019 | Inference of Properties from Requirements and Automation of their Formal Verification | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ASE 2019-profile
View general profile
View general profile