UM

Browse/Search Results:  1-1 of 1 Help

Selected(0)Clear Items/Page:    Sort:
AutoPA: Automatic prototyping from requirements Conference paper
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, Heraklion, GREECE, OCT 18-21, 2010
Authors:  Li X.;  Liu Z.;  Schaf M.;  Yin L.
Favorite  |  View/Download:5/0  |  Submit date:2019/02/14
Formal Semantics  Prototyping  Requirements Models  Validation