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

Dependency Graphs to Boost the Verification of SysML Models:

, In: Communications in Computer and Information Science; Model-Driven Engineering and Software Development,
Apvrille, Ludovic ; de Saqui-Sannes, Pierre ; Hotescu, Oana. - p. 109-134 , 2023
Link: https://doi.org/10.1007/978-3-031-38821-7_6