Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Barmpis, Konstantinos
3  Ergebnisse:
Artikel (Online) X
Personensuche X
?
1

Automated Model-Based Assurance Case Management Using Const..:

Wei, Ran ; Jiang, Zhe ; Mei, Haitao...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.  43 (2024)  1 - p. 291-304 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Scalable modeling technologies in the wild: an experience r..:

Gómez, Abel ; Mendialdua, Xabier ; Barmpis, Konstantinos...
Software and Systems Modeling.  19 (2020)  5 - p. 1229-1261 , 2020
Link: https://doi.org/10.1007/..
 
?
3

Stress-testing remote model querying APIs for relational an..:

Garcia-Dominguez, Antonio ; Barmpis, Konstantinos ; Kolovos, Dimitrios S...
Software & Systems Modeling.  18 (2017)  2 - p. 1047-1075 , 2017
Link: https://doi.org/10.1007/..
 
1-3