%0 Conference Paper %1 conf/sbesc/OliveiraSFB11 %A de Oliveira, Rafael Garlet %A Santos, Gabriel H. R. %A Farines, Jean-Marie %A Becker, Leandro Buss %B SBESC %D 2011 %E Fröhlich, Antônio Augusto %E Becker, Leandro Buss %I IEEE Computer Society %K dblp %P 27-32 %T Contributions to Improvement of the Formal Properties Verification Process in AADL Programs. %U http://dblp.uni-trier.de/db/conf/sbesc/sbesc2011.html#OliveiraSFB11 %@ 978-1-4673-0427-6

@inproceedings{conf/sbesc/OliveiraSFB11, added-at = {2023-03-23T00:00:00.000+0100}, author = {de Oliveira, Rafael Garlet and Santos, Gabriel H. R. and Farines, Jean-Marie and Becker, Leandro Buss}, biburl = {https://www.bibsonomy.org/bibtex/24c020e91095a03e4dc52ba10c13d7b62/dblp}, booktitle = {SBESC}, crossref = {conf/sbesc/2011}, editor = {Fröhlich, Antônio Augusto and Becker, Leandro Buss}, ee = {https://doi.ieeecomputersociety.org/10.1109/SBESC.2011.28}, interhash = {b9e3eeb4e99a490b440b7aa3e394f383}, intrahash = {4c020e91095a03e4dc52ba10c13d7b62}, isbn = {978-1-4673-0427-6}, keywords = {dblp}, pages = {27-32}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:10:50.000+0200}, title = {Contributions to Improvement of the Formal Properties Verification Process in AADL Programs.}, url = {http://dblp.uni-trier.de/db/conf/sbesc/sbesc2011.html#OliveiraSFB11}, year = 2011 }