%0 Conference Paper %1 conf/icse/BohmJVTPR14 %A Böhm, Wolfgang %A Junker, Maximilian %A Vogelsang, Andreas %A Teufl, Sabine %A Pinger, Ralf %A Rahn, Karsten %B SER&IPs %D 2014 %E Shukla, Rakesh %E Pasala, Anjaneyulu %E Padmanabhuni, Srinivas %I ACM %K dblp %P 34-41 %T A formal systems engineering approach in practice: an experience report. %U http://dblp.uni-trier.de/db/conf/icse/serips2014.html#BohmJVTPR14 %@ 978-1-4503-2859-3

@inproceedings{conf/icse/BohmJVTPR14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Böhm, Wolfgang and Junker, Maximilian and Vogelsang, Andreas and Teufl, Sabine and Pinger, Ralf and Rahn, Karsten}, biburl = {https://www.bibsonomy.org/bibtex/20e3b8e328d711f2b4fd828fd11ec5d80/dblp}, booktitle = {SER&IPs}, crossref = {conf/icse/2014serips}, editor = {Shukla, Rakesh and Pasala, Anjaneyulu and Padmanabhuni, Srinivas}, ee = {https://doi.org/10.1145/2593850.2593856}, interhash = {56cf42d84a48115f864ab224aaefd322}, intrahash = {0e3b8e328d711f2b4fd828fd11ec5d80}, isbn = {978-1-4503-2859-3}, keywords = {dblp}, pages = {34-41}, publisher = {ACM}, timestamp = {2018-11-07T16:26:20.000+0100}, title = {A formal systems engineering approach in practice: an experience report.}, url = {http://dblp.uni-trier.de/db/conf/icse/serips2014.html#BohmJVTPR14}, year = 2014 }