Maria Spichkova, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt. Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST. In Frédéric Boulanger, Michalis Famelis, Daniel Ratiu, editors, Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation co-located with 17th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MODELS 2014, Valencia, Spain, September 30, 2014. Volume 1235 of CEUR Workshop Proceedings, pages 49-58, CEUR-WS.org, 2014. [doi]
@inproceedings{SpichkovaBHS14,
title = {Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST},
author = {Maria Spichkova and Jan Olaf Blech and Peter Herrmann and Heinz W. Schmidt},
year = {2014},
url = {http://ceur-ws.org/Vol-1235/paper-07.pdf},
researchr = {https://researchr.org/publication/SpichkovaBHS14},
cites = {0},
citedby = {0},
pages = {49-58},
booktitle = {Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation co-located with 17th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MODELS 2014, Valencia, Spain, September 30, 2014},
editor = {Frédéric Boulanger and Michalis Famelis and Daniel Ratiu},
volume = {1235},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}