%0 Conference Paper %1 conf/adaEurope/SalazarAMP13 %A Salazar, Emilio %A Alonso, Alejandro %A de Miguel, Miguel A. %A de la Puente, Juan Antonio %B Ada-Europe %D 2013 %E Keller, Hubert B. %E Plödereder, Erhard %E Dencker, Peter %E Klenk, Herbert %I Springer %K dblp %P 127-142 %T A Model-Based Framework for Developing Real-Time Safety Ada Systems. %U http://dblp.uni-trier.de/db/conf/adaEurope/adaEurope2013.html#SalazarAMP13 %V 7896 %@ 978-3-642-38601-5

@inproceedings{conf/adaEurope/SalazarAMP13, added-at = {2017-05-29T00:00:00.000+0200}, author = {Salazar, Emilio and Alonso, Alejandro and de Miguel, Miguel A. and de la Puente, Juan Antonio}, biburl = {https://www.bibsonomy.org/bibtex/227b133b2048604e6c2d78c6ac8368f23/dblp}, booktitle = {Ada-Europe}, crossref = {conf/adaEurope/2013}, editor = {Keller, Hubert B. and Plödereder, Erhard and Dencker, Peter and Klenk, Herbert}, ee = {https://doi.org/10.1007/978-3-642-38601-5_9}, interhash = {755ef207c8cd1a5aadd0c4ec8b9ff107}, intrahash = {27b133b2048604e6c2d78c6ac8368f23}, isbn = {978-3-642-38601-5}, keywords = {dblp}, pages = {127-142}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:00:27.000+0200}, title = {A Model-Based Framework for Developing Real-Time Safety Ada Systems.}, url = {http://dblp.uni-trier.de/db/conf/adaEurope/adaEurope2013.html#SalazarAMP13}, volume = 7896, year = 2013 }