Reusability of Modeling and Verification Components between the DesignBIP and FSolidM Design Studios
| Title | Reusability of Modeling and Verification Components between the DesignBIP and FSolidM Design Studios |
| Publication Type | Miscellaneous |
| Year of Publication | 2018 |
| Authors | Anastasia Mavridou, Aron Laszka, Janos Sztipanovits |
| Keywords | 1521617 |
| Citation Key | mavridou2018HCSSPoster |