Vol-1234⫷ Vol-1235 ⫸Vol-1236
urn:nbn:de:0074-1235-0


Vol-1235/paper-06⫷Vol-1235/paper-07⫸Vol-1235/paper-08

Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST