h1

h2

h3

h4

h5
h6
TY  - JOUR
AU  - Ghassemi, Fatemeh
AU  - Zhiany, Saeed
AU  - Abbasi, Nesa
AU  - Hodaei, Ali
AU  - Ataollahi, Ali
AU  - Kovacs, Jozsef
AU  - Ábrahám, Erika
AU  - Sirjani, Marjan
TI  - Reachability analysis of Hybrid Rebeca models
JO  - Journal of systems architecture : JSA
VL  - 167
SN  - 1873-6165
CY  - Amsterdam
PB  - Elsevier
M1  - RWTH-2025-06753
SP  - 103493
PY  - 2025
LB  - PUB:(DE-HGF)16 ; PUB:(DE-HGF)7
UR  - <Go to ISI:>//WOS:001538803200001
DO  - DOI:10.1016/j.sysarc.2025.103493
UR  - https://publications.rwth-aachen.de/record/1016118
ER  -