%0 Conference Paper %1 conf/ecrts/BordinV05 %A Bordin, Matteo %A Vardanega, Tullio %B ECRTS %D 2005 %I IEEE Computer Society %K dblp %P 59-67 %T Automated Model-Based Generation of Ravenscar-Compliant Source Code. %U http://dblp.uni-trier.de/db/conf/ecrts/ecrts2005.html#BordinV05 %@ 0-7695-2400-1

@inproceedings{conf/ecrts/BordinV05, added-at = {2023-03-23T00:00:00.000+0100}, author = {Bordin, Matteo and Vardanega, Tullio}, biburl = {https://www.bibsonomy.org/bibtex/25ece3c7615c0771d23528ea764550c78/dblp}, booktitle = {ECRTS}, crossref = {conf/ecrts/2005}, ee = {https://doi.ieeecomputersociety.org/10.1109/ECRTS.2005.9}, interhash = {e1b4fa67749a2b04f2a718f711950797}, intrahash = {5ece3c7615c0771d23528ea764550c78}, isbn = {0-7695-2400-1}, keywords = {dblp}, pages = {59-67}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:21:14.000+0200}, title = {Automated Model-Based Generation of Ravenscar-Compliant Source Code.}, url = {http://dblp.uni-trier.de/db/conf/ecrts/ecrts2005.html#BordinV05}, year = 2005 }