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 | Author of Inference of Properties from Requirements and Automation of their Formal Verification within the Doctoral Symposium-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ASE 2019-profile
View general profile
View general profile