Systementwurf XSynchro Demonstrator V0






0 lanes visible
z_{\neg avail,syn,OWN,OTHER}=T

$$t_{syn.in,max}$$
$$t_{syn.ex,max}$$