%0 Journal Article %1 journals/ress/SharviaP15 %A Sharvia, Septavera %A Papadopoulos, Yiannis %D 2015 %J Reliab. Eng. Syst. Saf. %K dblp %P 64-80 %T Integrating model checking with HiP-HOPS in model-based safety analysis. %U http://dblp.uni-trier.de/db/journals/ress/ress135.html#SharviaP15 %V 135

@article{journals/ress/SharviaP15, added-at = {2020-02-25T00:00:00.000+0100}, author = {Sharvia, Septavera and Papadopoulos, Yiannis}, biburl = {https://www.bibsonomy.org/bibtex/2963454e934c613dc84b5a1bcd6dbd622/dblp}, ee = {https://doi.org/10.1016/j.ress.2014.10.025}, interhash = {50a2b6f3848425aa99380adc97836555}, intrahash = {963454e934c613dc84b5a1bcd6dbd622}, journal = {Reliab. Eng. Syst. Saf.}, keywords = {dblp}, pages = {64-80}, timestamp = {2020-02-26T11:42:29.000+0100}, title = {Integrating model checking with HiP-HOPS in model-based safety analysis.}, url = {http://dblp.uni-trier.de/db/journals/ress/ress135.html#SharviaP15}, volume = 135, year = 2015 }