Login / Signup

An Approach to Validation of Combined Natural Language and Formal Requirements for Control Systems.

Mark B. Trakhtenbrot
Published in: RE Workshops (2019)
Keyphrases