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

Maria Spichkova, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt

Browse the full MODELS paper archive.