%0 Journal Article %1 journals/micro/BondavalliFLS01 %A Bondavalli, Andrea %A Fantechi, Alessandro %A Latella, Diego %A Simoncini, Luca %D 2001 %J IEEE Micro %K dblp %N 5 %P 52-62 %T Design Validation of Embedded Dependable Systems. %U http://dblp.uni-trier.de/db/journals/micro/micro21.html#BondavalliFLS01 %V 21

@article{journals/micro/BondavalliFLS01, added-at = {2023-06-26T00:00:00.000+0200}, author = {Bondavalli, Andrea and Fantechi, Alessandro and Latella, Diego and Simoncini, Luca}, biburl = {https://www.bibsonomy.org/bibtex/2367f5bdf9676002c471a0ef80ca7e668/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/40.958699}, interhash = {33b6275b23eaf53b80e030e06409bbe0}, intrahash = {367f5bdf9676002c471a0ef80ca7e668}, journal = {IEEE Micro}, keywords = {dblp}, number = 5, pages = {52-62}, timestamp = {2024-04-08T12:47:21.000+0200}, title = {Design Validation of Embedded Dependable Systems.}, url = {http://dblp.uni-trier.de/db/journals/micro/micro21.html#BondavalliFLS01}, volume = 21, year = 2001 }