Browsing NTNU Open by Author "Spichkova, Maria"
Now showing items 1-1 of 1
-
Modeling Spatial Aspects of Safety-Critical Systems with FOCUS-ST
Spichkova, Maria; Blech, Jan Olaf; Herrmann, Peter Michael; Schmidt, Heinz (Journal article; Peer reviewed, 2014)This paper presents an approach for modeling and veri - cation of components controlling behaviour of safety-critical systems in their physical environment. In particular, we introduce the modeling language FocusST that ...