TY  - THES

T1  - Refinement of communication and states in models of embedded systems

PY  - -0001/11/30

AU  - Beohar H

ED  - 

Y2  - 2024/12/23

ER  -