I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Integrating an SMT-based ModelFinder into USE:

, In: Model-driven engineering, verification and validation / edited by Michalis Famelis, Daniel Ratiu, Gehan M.K. Selim
Przigoda, Nils ; Hilken, Frank ; Peters, Judith.... (2016) 
Link: http://ceur-ws.org/Vol-1713/MoDeVVa_2016_paper_5.pdf