👤 Ariel Syrko

A framework for semi-automated formalization of automotive requirements. Development and Evaluation. Ariel Syrko