%0 Conference Paper %1 conf/safecomp/BobbioCFGMP02 %A Bobbio, Andrea %A Ciancamerla, Ester %A Franceschinis, Giuliana %A Gaeta, Rossano %A Minichino, Michele %A Portinale, Luigi %B SAFECOMP %D 2002 %E Anderson, Stuart %E Bologna, Sandro %E Felici, Massimo %I Springer %K dblp %P 212-223 %T Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2002.html#BobbioCFGMP02 %V 2434 %@ 3-540-44157-3

@inproceedings{conf/safecomp/BobbioCFGMP02, added-at = {2017-05-26T00:00:00.000+0200}, author = {Bobbio, Andrea and Ciancamerla, Ester and Franceschinis, Giuliana and Gaeta, Rossano and Minichino, Michele and Portinale, Luigi}, biburl = {https://www.bibsonomy.org/bibtex/235a444e7e7a857e28e8bb478e3dbb68a/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/2002}, editor = {Anderson, Stuart and Bologna, Sandro and Felici, Massimo}, ee = {https://doi.org/10.1007/3-540-45732-1_21}, interhash = {05f80d10443a46b3ffe8ee2e5125c9fe}, intrahash = {35a444e7e7a857e28e8bb478e3dbb68a}, isbn = {3-540-44157-3}, keywords = {dblp}, pages = {212-223}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:36:01.000+0200}, title = {Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2002.html#BobbioCFGMP02}, volume = 2434, year = 2002 }