%0 Journal Article %1 journals/rts/MalaquiasAB23 %A Malaquias, Felipe Lisboa %A Asavoae, Mihail %A Brandner, Florian %D 2023 %J Real Time Syst. %K dblp %N 4 %P 664-704 %T A formal framework to design and prove trustworthy memory controllers. %U http://dblp.uni-trier.de/db/journals/rts/rts59.html#MalaquiasAB23 %V 59

@article{journals/rts/MalaquiasAB23, added-at = {2024-03-08T00:00:00.000+0100}, author = {Malaquias, Felipe Lisboa and Asavoae, Mihail and Brandner, Florian}, biburl = {https://www.bibsonomy.org/bibtex/238aedfd5ce1ce3b19eaded5de119d953/dblp}, ee = {https://doi.org/10.1007/s11241-023-09411-3}, interhash = {8fd969571959186955bd28adab94bad8}, intrahash = {38aedfd5ce1ce3b19eaded5de119d953}, journal = {Real Time Syst.}, keywords = {dblp}, month = {December}, number = 4, pages = {664-704}, timestamp = {2024-04-08T15:00:44.000+0200}, title = {A formal framework to design and prove trustworthy memory controllers.}, url = {http://dblp.uni-trier.de/db/journals/rts/rts59.html#MalaquiasAB23}, volume = 59, year = 2023 }