Automated Prototype Generation From Formal Requirements Model

Paper Details

Automated Prototype Generation From Formal Requirements Model

Authors

Y. Yang, X. Li, W. Ke, Z. Liu

Year

2020

Venue

IEEE Transactions on Reliability, 69(2): 632-656

Type

Journal

Abstract

Abstract information will be added from the publication database. This detail page is prepared to present the paper problem, method, contribution, and evaluation evidence once the abstract is available.

Links