%0 Conference Paper %1 conf/se/WasilewskiH11 %A Wasilewski, Michael %A Hasselbring, Wilhelm %B Software Engineering %D 2011 %E Reussner, Ralf H. %E Grund, Matthias %E Oberweis, Andreas %E Tichy, Walter F. %I GI %K dblp %P 99-110 %T A Formal and Pragmatic Approach to Engineering Safety-critical Rail Vehicle Control Software. %U http://dblp.uni-trier.de/db/conf/se/se2011.html#WasilewskiH11 %V P-183 %@ 978-3-88579-277-2

@inproceedings{conf/se/WasilewskiH11, added-at = {2023-07-04T00:00:00.000+0200}, author = {Wasilewski, Michael and Hasselbring, Wilhelm}, biburl = {https://www.bibsonomy.org/bibtex/2e9708d659b78164e6a7aedc944ded36c/dblp}, booktitle = {Software Engineering}, crossref = {conf/se/2011}, editor = {Reussner, Ralf H. and Grund, Matthias and Oberweis, Andreas and Tichy, Walter F.}, ee = {http://subs.emis.de/LNI/Proceedings/Proceedings183/article6296.html}, interhash = {05bf3ead2bed1385f21adbe404f2b811}, intrahash = {e9708d659b78164e6a7aedc944ded36c}, isbn = {978-3-88579-277-2}, keywords = {dblp}, pages = {99-110}, publisher = {GI}, series = {LNI}, timestamp = {2024-04-09T13:02:31.000+0200}, title = {A Formal and Pragmatic Approach to Engineering Safety-critical Rail Vehicle Control Software.}, url = {http://dblp.uni-trier.de/db/conf/se/se2011.html#WasilewskiH11}, volume = {P-183}, year = 2011 }