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