%0 Conference Paper %1 conf/cser/BlackburnD14 %A Blackburn, Mark R. %A Denno, Peter O. %B CSER %D 2014 %E Madni, Azad M. %E Boehm, Barry W. %I Elsevier %K dblp %P 883-890 %T Virtual Design and Verification of Cyber-physical Systems: Industrial Process Plant Design. %U http://dblp.uni-trier.de/db/conf/cser/cser2014.html#BlackburnD14 %V 28

@inproceedings{conf/cser/BlackburnD14, added-at = {2017-05-19T00:00:00.000+0200}, author = {Blackburn, Mark R. and Denno, Peter O.}, biburl = {https://www.bibsonomy.org/bibtex/28fe17dd8b412381fdf6130e73d02f6d9/dblp}, booktitle = {CSER}, crossref = {conf/cser/2014}, editor = {Madni, Azad M. and Boehm, Barry W.}, ee = {https://doi.org/10.1016/j.procs.2014.03.006}, interhash = {7fd0da7fddb085a718d5da9e9b5a13f3}, intrahash = {8fe17dd8b412381fdf6130e73d02f6d9}, keywords = {dblp}, pages = {883-890}, publisher = {Elsevier}, series = {Procedia Computer Science}, timestamp = {2024-04-09T23:38:55.000+0200}, title = {Virtual Design and Verification of Cyber-physical Systems: Industrial Process Plant Design.}, url = {http://dblp.uni-trier.de/db/conf/cser/cser2014.html#BlackburnD14}, volume = 28, year = 2014 }