%0 Conference Paper %1 conf/icse/FitzgeraldGLPW15 %A Fitzgerald, John S. %A Gamble, Carl %A Larsen, Peter Gorm %A Pierce, Kenneth %A Woodcock, Jim %B FormaliSE@ICSE %D 2015 %E Gnesi, Stefania %E Plat, Nico %I IEEE Computer Society %K dblp %P 40-46 %T Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. %U http://dblp.uni-trier.de/db/conf/icse/formalise2015.html#FitzgeraldGLPW15 %@ 978-1-4673-7043-1

@inproceedings{conf/icse/FitzgeraldGLPW15, added-at = {2023-03-23T00:00:00.000+0100}, author = {Fitzgerald, John S. and Gamble, Carl and Larsen, Peter Gorm and Pierce, Kenneth and Woodcock, Jim}, biburl = {https://www.bibsonomy.org/bibtex/2979291e67f70b090663f3136fbe754e2/dblp}, booktitle = {FormaliSE@ICSE}, crossref = {conf/icse/2015formalise}, editor = {Gnesi, Stefania and Plat, Nico}, ee = {https://www.wikidata.org/entity/Q57733518}, interhash = {68e65e7dfe0844c49f284bfc6a1d51a0}, intrahash = {979291e67f70b090663f3136fbe754e2}, isbn = {978-1-4673-7043-1}, keywords = {dblp}, pages = {40-46}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:16:00.000+0200}, title = {Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains.}, url = {http://dblp.uni-trier.de/db/conf/icse/formalise2015.html#FitzgeraldGLPW15}, year = 2015 }